2 minute read

I am a post-doc researcher at the University of Adelaide and a member of the Centre for Research on Engineering Software Technology (CREST). I got a Ph.D. from the Software Engineering Lab (SELab) at Korea Advanced Institute of Science and Technology (KAIST), advised by Prof. Doo-Hwan Bae. I have a few experiences in leading research projects to analyze the reliability or safety of complex systems, such as platooning vehicles, swarming drones, and edge cloud-based systems. In addition, I have wide research experiences ranging from surveying, development, experimental dataset generation, and empirical analysis for complex systems. Currently, I concentrate on proposing an effective testing approach for Large-Language Models (LLMs) and applying digital twin-based testing techniques on autonomous and safety-critical systems.

Research Interests

Automated testing and debugging of black-boxed, probabilistic, and large-scale AI models, such as Large-Language Models (LLMs), and AI-based complex systems, as System-of-Systems (SoS) and Cyber-Physical Systems (CPS).

Education & Job Experiences

2023 May - Current  Post-doc researcher at CREST center, University of Adelaide, Adelaide, Australia

2018 Mar - 2023 Feb  Korea Advanced Institute of Science and Technology (KAIST), Daejeon, Republic of Korea
           Integrated Ph. D. course in Software Engineering Lab (SELab), Advisor: Doo-Hwan Bae

2013 Mar - 2018 Feb  Hanyang University, Seoul, Republic of Korea
           BS in Software Major, Computer Science and Engineering

Honors & Awards

2019 Sep -  Outstanding TA award in Introduction to SE course
2019 Jun -  Best paper award in Korea Computer Congress (KCC)
2019 Feb -  Outstanding TA award in Introduction to SE course
2018 Dec -  Outstanding paper award in Korea Software Congress (KSC)
2018 Feb -  Summa cum laude, Hanyang University (GPA 4.18/4.5)
2017 Nov -  First prize in Hanyang Collegiate Programming Competition (HCPC)
2016 Dec -  Outstanding mentor award in C++ mentoring
2015 Jun -  Outstanding mentor award in C++ mentoring

Program Committee & Reviewer Experiences

2023 PC Member - 30th Asia-Pacific Software Engineering Conference (APSEC) SEIP Track
2023 Reviewer - Journal of Software: Evolution and Process, Special Issue on SESoS 2023

Project Experiences

2020 Jul - 2022 Dec   [BECS ITRC] User-level fault analysis on big data and edge cloud systems
                    Developed automated failure context mining & fault localization approach for edge cloud-based
                    platooning & drone swarming Cyber Physical System-of-Systems (CPSoS) scenarios (CAFCA).
                    Big data Edge Cloud Services (BECS) center supported by Ministry of Science and ICT (MSIT), Korea

2018 Mar - 2022 Dec   [SW STARLAB] Simulation-based verification and analysis of System-of-Systems (SoS)
                    Developed simulation and verification modules for mass casualty incident-response SoS in (SIMVA-SoS).
                    Supported by Institute of Information & Communications Technology Planning & Evaluation (IITP), Korea

2018 Aug - 2020 Aug   [NEXT-GEN] Localizing failure-inducing interactions on Cyber-Physical Systems (CPS)
                    Developed fault localization techniques to analyze failure-inducing interactions in CPS systems (StarPlateS).
                    Next Generation ICT Project supported by Ministry of Science and ICT (MSIT), Korea

2018 Mar - 2018 Jun  Automatic generation of metamorphic relationship without templates
                    Developed prototype of the automatic MR generator (MRbyGP).

2016 Sep - 2017 Aug  Social advertisement platform for local business owner, ADHOOD
                    Developed Front-end(Android) UI and Back-end(AWS) DB for the application.

2014 Sep - 2014 Dec  Pintos Project
                    Finished developing all pintos tasks in the undergraduate OS course


Programming language: C, C++, Java, Python
Language: Korean (Native), English (Intermediate), Chinese (Novice)

contact: swhyun@se.kaist.ac.kr