Eun-Young Kang

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).


Principle of Software Engineering Methodologies: Assurance of Software Intensive Systems (MS: Fall 2017)
Introduction to Cyber-Physical Systems Design and Analysis (BA & MS: Spring 2015, 2016, 2017, 2018)
Computer Language and Implementation (BA: Spring 2016, 2017, 2018)
Introduction to Real-Time Systems: Advanced Modeling & Verification (MS: Fall 2014)
Introduction to Real-Time Systems (BA: Fall 2014, 2015, 2016, 2017, 2018)