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