Eun-Young Kang

所属研究所、院系: 
软件工程与应用研究所
职称: 
副教授
E-mail: 
eykang@mail.sysu.edu.cn
办公地点: 
Room A309,School of Data & Computer Science, Sun Yat-Sen University
教师简介: 

Ph.D. University of Lorraine. Henri-Poincare Nancy 1, INRIA-LORIA, France, 2007
Senior Researcher (Collaborateur Scientifique), PReCISE Research Centre, University of Namur, Belgium since 2014. FNRS researcher, PReCISE, Feb 2011-2014

 

研究领域: 

 Formal design, modeling and analysis of software intensive systems; Embedded systems verification and validation

工作经历: 

Eun-Young Kang is an associate professor in the Dept. of Computer Science at Sun Yat-Sen University. She is also a director of the Scientific Collaboration Research Program in conjunction with PReCISE Research Centre at the University of Namur in Belgium. She received her Ph.D. in computer science from INRIA-LORIA (Institut National de Recherche en Informatique et en Automatique)  & University of Lorraine in France, 2007. Prior to her current position, she was an FNRS (Fonds National de la Recherche Scientifique) researcher at PReCISE Research Centre (2011 - 2014). Previously, she worked as a Post Doctoral researcher at Mälardalen Real-Time Research Centre in Sweden (2009 - 2011) and at United Nations University - International Institute for Software Technology in Macau (2008 - 2009).

 

教授课程: 

Introduction to Electric Vehicles Software Design and Analysis (BA and Master Level Spring 2016)

Computer Language and Implementation (BA and Master Level Spring 2016)

[MIE330:12V1] Introduction to Real-Time Systems: Modeling and Verification (BA and MS Level Fall 2015)

[MIE Spring15:12V1] Introduction to Electric Vehicles Software Design and Analysis (BA land MS Level Spring 2015)

[MIE:MS] Introduction to Real-Time Systems: Advanced Modeling and Verification (MS Level Fall 2014)

[MIE330:12V1] Introduction to Real-Time Systems: Modeling and Verification (BA Level Fall 2014)