Research Lab

 

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

M.S. Students

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

 

For more information, please visit SELab Homepage