Eunkyoung Jee

Eunkyoung Jee is an Associate Professor in the School of Computing at KAIST (Korea Advanced Institute of Science and Technology) in South Korea, with research expertise in safety-critical systems.

Dr. Jee's scholarly work addresses fundamental challenges in software reliability and safety assurance, focusing on methodologies that prevent catastrophic system failures. Her research bridges theoretical formal methods with practical safety analysis techniques for real-world applications.

Her primary research domains include:

• Software Engineering methodologies for critical systems
• Advanced software testing techniques
• Formal Verification approaches
• Comprehensive Safety Analysis frameworks
• Safety-critical software development
• Formal methods implementation

Dr. Jee maintains an active presence in the international software engineering community, serving in leadership roles at major conferences including ASE (Automated Software Engineering), where she chairs tutorials and serves on program committees for tool demonstrations, and APSEC (Asia-Pacific Software Engineering Conference), where she contributes to technical track evaluations. She also plays significant roles in specialized workshops like EnCyCriS (Engineering Cybersecurity of Critical Systems).