A list of my main research project is below. I'm happy to discuss any of these topics, please feel free to get in touch.
SimpliFaiS: Simplification of Failure Scenarios for Machine Learning-enabled Autonomous Systems
(planned) Jan 2024 – June 2026, PI, funded by EPSRC
Aim to develop automated approaches for finding a minimal set of failure-inducing scenario entities in critical driving scenarios.
(SW STAR LAB) Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System
Mar 2015 – Aug 2018, Researcher, funded by Ministry of Science, ICT and Future Planning (South Korea)
Researched the foundation of System-of-Systems (SoS) and developed testing techniques for SoS.
Development of Autonomous Intelligent Collaboration Framework for Knowledge Bases and Smart Devices
May 2013 – Feb 2016, Researcher, funded by Ministry of Science, ICT and Future Planning (South Korea)
Researched automated testing approaches for self-adaptive systems.