Professor

Doo-Hwan Bae 

• Professor, School of Computing, KAIST
  • 2012 ~ 2017 : Head, Computer Science Department, KAIST
  • 2012 ~ 2013 : Director, Brain Korea 21, KAIST
  • 2006 ~ 2011 : Director, Software Graduate Program, KAIST
  • 2005 ~ Present : Professor, Computer Science Department, KAIST
  • 2002 ~ 2010 : Director, ITRC Software Process Improvement Center
  • 2000 ~ 2005 : Associate Professor, Computer Science Department, KAIST
  • 1996 ~ 2000 : Assistant Professor, Computer Science Department, KAIST
  • 1995 ~ 1996 : Assistant Professor, Information & Communication Engin. Dept., KAIST
  • 1992 ~ 1994 : Visiting Assistant Professor, University of Florida
  • 1988 ~ 1992 : Reasearch Assistant, University of Florida
  • 1988 ~ 1992 : Ph.D., University of Florida
  • 1985 ~ 1987 : M.S., University of Wisconsin-Milwaukee
  • 1976 ~ 1980 : B.S., Seoul National University
• Research Interests
  • Model Oriented Software Engineering
  • System-of-Systems Software Engineering

Researchers

Eunkyoung Jee (Ph.D.) 

• Research Interests
  • Safety-Critical Software
  • Formal Method
  • Software Testing
  • Safety Analysis
• Roles & Responsibilities in SESoS Group
  • Modeling, Verification of SoS

Ph.D. Students

Young-Min Baek (Project Manager, 2018) 

• Research Interests
  • Model-based Software Testing
  • System-of-Systems Modeling & Specifications
  • Graphical User Interface (GUI) Testing
• Roles & Responsibilities in SESoS Group
  • SoS Modeling & Specifications
  • Modeling Tool Development

Jiyoung Song 

• Research Interests
  • Software Testing on Safety Critical Systems
  • Model-based System-of-Systems Engineering
• Roles & Responsibilities in SESoS Group
  • SoS Model Slicing: Goal Model Slicing, Simulation Model Slicing
  • Model Slicing Tool Development

Zelalem Mihret 

• Research Interests
  • Formal Modeling and Verification
  • Model-based System-of-Systems Engineering
• Roles & Responsibilities in SESoS Group
  • SoS Policy Modeling Specifications

Yong-Jun Shin 

• Research Interests
  • Self-Adaptive Systems Modeling
  • Data-driven Environment Analysis & Modeling
  • Model-based System-of-Systems Engineering
• Roles & Responsibilities in SESoS Group
  • SoS Simulation & Verification
  • Simulation-based Verification Tool (SIMVA-SoS) Development

Sumin Park 

• Research Interests
  • Chaos Engineering
  • Model-based System-of-Systems Engineering
• Roles & Responsibilities in SESoS Group
  • Chaos Engineering of SoS, SoS Simulation & Verification
  • Simulation-based Verification Tool (SIMVA-SoS) Development

Sang-Won Hyun 

• Research Interests: TBD
• Roles & Responsibilities in SESoS Group
  • SoS Simulation & Verification
  • Simulation-based Verification Tool (SIMVA-SoS) Development

M.S. Students

Seungchyul Shin 

• Research Interests: TBD
• Roles & Responsibilities in SESoS Group
  • SoS Model Slicing

SungJin Lee 

• Research Interests: TBD
• Roles & Responsibilities in SESoS Group
  • SoS Modeling

Lingjun Liu

• Research Interests: TBD
• Roles & Responsibilities in SESoS Group
  • SoS Model Slicing

Anthony Chua 

• Research Interests: TBD
• Roles & Responsibilities in SESoS Group
  • SoS Modeling