{"id":332,"date":"2018-11-06T00:57:01","date_gmt":"2018-11-06T00:57:01","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=332"},"modified":"2019-12-09T06:14:44","modified_gmt":"2019-12-09T06:14:44","slug":"research-lab","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/research-lab\/","title":{"rendered":"Research Lab"},"content":{"rendered":"<p><img loading=\"lazy\" class=\"alignleft size-full wp-image-489\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\ub2e8\uccb4\uc0ac\uc9c4.jpg\" alt=\"\" width=\"5310\" height=\"3540\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\ub2e8\uccb4\uc0ac\uc9c4.jpg 5310w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\ub2e8\uccb4\uc0ac\uc9c4-300x200.jpg 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\ub2e8\uccb4\uc0ac\uc9c4-768x512.jpg 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\ub2e8\uccb4\uc0ac\uc9c4-1024x683.jpg 1024w\" sizes=\"(max-width: 5310px) 100vw, 5310px\" \/><\/p>\n<p>&nbsp;<\/p>\n<div class=\"txc-textbox\" style=\"border: 2px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\">\n<h4><span style=\"font-size: 18px;\"><strong>Professor<\/strong><\/span><\/h4>\n<p><strong>Doo-Hwan Bae\u00a0<a href=\"mailto:bae@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Professor, School of Computing, KAIST\n<ul>\n<li>2012 ~ 2017 : Head, Computer Science Department, KAIST<\/li>\n<li>2012 ~ 2013 : Director, Brain Korea 21, KAIST<\/li>\n<li>2006 ~ 2011 : Director, Software Graduate Program, KAIST<\/li>\n<li>2005 ~ Present : Professor, Computer Science Department, KAIST<\/li>\n<li>2002 ~ 2010 : Director, ITRC Software Process Improvement Center<\/li>\n<li>2000 ~ 2005 : Associate Professor, Computer Science Department, KAIST<\/li>\n<li>1996 ~ 2000 : Assistant Professor, Computer Science Department, KAIST<\/li>\n<li>1995 ~ 1996 : Assistant Professor, Information &amp; Communication Engin. Dept., KAIST<\/li>\n<li>1992 ~ 1994 : Visiting Assistant Professor, University of Florida<\/li>\n<li>1988 ~ 1992 : Reasearch Assistant, University of Florida<\/li>\n<li>1988 ~ 1992 : Ph.D., University of Florida<\/li>\n<li>1985 ~ 1987 : M.S., University of Wisconsin-Milwaukee<\/li>\n<li>1976 ~ 1980 : B.S., Seoul National University<\/li>\n<\/ul>\n<\/li>\n<li>Research Interests\n<ul>\n<li>Model Oriented Software Engineering<\/li>\n<li>System-of-Systems Software Engineering<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/div>\n<p>&nbsp;<\/p>\n<div class=\"txc-textbox\" style=\"border: 1px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\">\n<h4><span style=\"font-size: 18px;\"><strong>Researchers<\/strong><\/span><\/h4>\n<p><strong>Eunkyoung Jee (Ph.D.)\u00a0<\/strong><a href=\"http:\/\/se.kaist.ac.kr\/ekjee\" target=\"_blank\" rel=\"noopener noreferrer\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/home.png\" alt=\"\" width=\"18\" \/><\/a><a href=\"mailto:ekjee@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/p>\n<ul>\n<li>Research Interests\n<ul>\n<li>Safety-Critical Software<\/li>\n<li>Formal Method<\/li>\n<li>Software Testing<\/li>\n<li>Safety Analysis<\/li>\n<\/ul>\n<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>Modeling, Verification of SoS<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/div>\n<div class=\"txc-textbox\" style=\"border: 1px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\">\n<h4><span style=\"font-size: 18px;\"><strong>Ph.D. Students<\/strong><\/span><\/h4>\n<p><strong>Young-Min Baek (Project Manager, 2018)\u00a0<\/strong><strong><a href=\"mailto:ymbaek@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Research Interests\n<ul>\n<li>Model-based Software Testing<\/li>\n<li>System-of-Systems Modeling &amp; Specifications<\/li>\n<li>Graphical User Interface (GUI) Testing<\/li>\n<\/ul>\n<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>SoS Modeling &amp; Specifications<\/li>\n<li>Modeling Tool Development<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>Jiyoung Song\u00a0<a href=\"mailto:jysong@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Research Interests\n<ul>\n<li>Software Testing on Safety Critical Systems<\/li>\n<li>Model-based System-of-Systems Engineering<\/li>\n<\/ul>\n<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>SoS Model Slicing: Goal Model Slicing, Simulation Model Slicing<\/li>\n<li>Model Slicing Tool Development<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>Zelalem Mihret\u00a0<a href=\"mailto:zelalem@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Research Interests\n<ul>\n<li>Formal Modeling and Verification<\/li>\n<li>Model-based System-of-Systems Engineering<\/li>\n<\/ul>\n<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>SoS Policy Modeling Specifications<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>Yong-Jun Shin\u00a0<a href=\"mailto:yjshin@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Research Interests\n<ul>\n<li>Self-Adaptive Systems Modeling<\/li>\n<li>Data-driven Environment Analysis &amp; Modeling<\/li>\n<li>Model-based System-of-Systems Engineering<\/li>\n<\/ul>\n<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>SoS Simulation &amp; Verification<\/li>\n<li>Simulation-based Verification Tool (SIMVA-SoS) Development<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>Sumin Park<\/strong><strong>\u00a0<a href=\"mailto:smpark@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Research Interests\n<ul>\n<li>Chaos Engineering<\/li>\n<li>Model-based System-of-Systems Engineering<\/li>\n<\/ul>\n<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>Chaos Engineering of SoS, SoS Simulation &amp; Verification<\/li>\n<li>Simulation-based Verification Tool (SIMVA-SoS) Development<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>Sang-Won Hyun\u00a0<a href=\"mailto:swhyun@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Research Interests: TBD<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>SoS Simulation &amp; Verification<\/li>\n<li>Simulation-based Verification Tool (SIMVA-SoS) Development<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/div>\n<div class=\"txc-textbox\" style=\"border: 1px solid #E1E1E1; background-color: #f2f2f2; padding: 10px; text-align: justify;\">\n<h4><span style=\"font-size: 18px;\"><strong>M.S. Students<\/strong><\/span><\/h4>\n<p><strong>Seungchyul Shin\u00a0<a href=\"mailto:scshin@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Research Interests: TBD<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>SoS Model Slicing<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>SungJin Lee<\/strong><strong>\u00a0<a href=\"mailto:sjlee@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/p>\n<ul>\n<li>Research Interests: TBD<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li style=\"list-style-type: none;\"><\/li>\n<li>SoS Modeling<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>Lingjun Liu<\/strong><b><strong><a href=\"mailto:riensha@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/strong><\/b><\/p>\n<ul>\n<li>Research Interests: TBD<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>SoS Model Slicing<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><strong>Anthony Chua\u00a0<b><a href=\"mailto:anthonyc@se.kaist.ac.kr\"><img src=\"http:\/\/se.kaist.ac.kr\/images\/email.png\" alt=\"\" width=\"18\" \/><\/a><\/b><\/strong><\/p>\n<ul>\n<li>Research Interests: TBD<\/li>\n<li>Roles &amp; Responsibilities in SESoS Group\n<ul>\n<li>SoS Modeling<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<\/div>\n<p>&nbsp;<\/p>\n<p>For more information, please visit <a href=\"http:\/\/se.kaist.ac.kr\">SELab Homepage<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; Professor Doo-Hwan Bae\u00a0 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 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/332"}],"collection":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/comments?post=332"}],"version-history":[{"count":9,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/332\/revisions"}],"predecessor-version":[{"id":869,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/332\/revisions\/869"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=332"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}