
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).
- Electric Vehicle Design and Analysis (Spring 2017)
- Computer Language and Implementation (Spring 2017)
- Introduction to Electric Vehicles Software Design and Analysis (BA & MS: Spring 2015, 2016)
- Computer Language and Implementation (BA: Spring 2016)
- [MIE:MS] Introduction to Real-Time Systems: Advanced Modeling & Verification (MS: Fall 2014)
- [MIE330:12V1] Introduction to Real-Time Systems: Modeling & Verification (BA: Fall 2014, 2015, 2016)