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.

 

研究领域: 

Eun-Young Kang's primary research areas include the integration of formal methods into engineering development processes, cyber physical systems, safety-critical real-time software design and analysis:  An architecture centric formal analysis framework that utilizes the leverage of state-of-the-art methods and tools for the development of correct-by-construct system functions and components in a seamless and cost efficient way. Formal techniques for the design and analysis of software intensive systems, in particular, enabling component-based design and model-based verification of safety-critical energy-aware embedded systems as well as generating effective test cases of timed systems. 

Topics of Interest:

  • Safety, Dependability, and Reliability.
  • Software Quality Assurance including Model-Driven Design & Implementation, Applied Formal Methods, Machine Learning for Model Extraction.
  • Verification, Validation, Testing and Analysis for Energy-aware Real-Time Embedded Systems.
  • Software Development Process, Software Life-Cycle, Software Architecture.
  • Component-based Development and Re-use.
  • Computer Aided Design, Analysis and Simulation Techniques for Cyber-Physical Systems.
工作经历: 

Eun-Young Kang is an associate professor in the School of Data & 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).

教授课程: