3 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, Software engineering for LLMs, Software quality assessment and runtime verification, LLM agenting and optimization, Digital twin architecture

Education & Job Experiences

2023 May - Current  Postdoc researcher (Level-A) 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 Aug -  PC Member - Software Engineering for System-of-Systems (SESoS) Co-located workshop with International Conference on Software Engineering (ICSE) 2024 Jul -  Reviewer - The Journal of Systems and Software (JSS)
2024 Jun -  Proceedings Chair - Software Vulnerability Management (SVM) Co-located workshop with International Conference on Software Engineering (ICSE)
2023 Oct -  PC Member - International Conference on Software Engineering and Knowledge Engineering (SEKE) 2023 Aug -  PC Member - Asia-Pacific Software Engineering Conference (APSEC) SEIP Track
2023 Oct  Reviewer - Journal of Software: Evolution and Process, Special Issue on SESoS 2023

Project Experiences

2024 Apr - Current   [KAIST-UoA] International undergraduate research program
                    Supervised three undergraduate students from KAIST for an empirical analysis
                    of LLM assistance in software code generation.

2023 May - Current   [CREST] Assessing and improving the trustworthiness of LLMs
                    Developed an executable framework to assess the comprehensive quality attributes,
                    such as robustness and fairness of LLM text outcomes by applying metamorphic testing and optimization techniques.

2023 May - Current   [CREST] Agentic Digital Twin platform for domain-specific systems
                    Designed and developed low-code and agentic digital twin platform for agile and
                    productive monitoring, operation, and optimization of target systems.

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

Skills

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

contact: swhyun@se.kaist.ac.kr

Tags:

Categories:

Updated: