Projects

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

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.

INSTRUCT: INtegrated Satellite-TeRrestrial Systems for Ubiquitous Beyond 5G CommunicaTions (ST-01: Automated Software Testing for Complex CPS)

Sep 2021 – Jul 2022, in collaboration with SES S.A., Researcher, funded by FNR 

Researched advanced testing approaches for complex CPS.

FUNTASY: FUNctional safeTy for Autonomous Systems

Aug 2020 – Jul 2022, in collaboration with IEE S.A., Researcher, funded by FNR

Researched advanced testing approaches for ML-enabled autonomous systems. 

CRITISEC - Critical Infrastructure Security

Apr 2020 – Mar 2022, in collaboration with CRITISEC Consortium, Researcher, funded by ECCP

Researched large-scale log analysis and log-based anomaly detection.

Artificial Intelligence for Safety Critical Complex Systems

Jan 2019 – Oct 2021, Researcher, funded by IEE S.A. 

Researched DNN testing techniques for automated driving systems.

LISTENER: Log-driven, Search-based Test Generation for Ground Control Systems

Aug 2018 – Jul 2021, in collaboration with SES S.A., Researcher, funded by FNR

Researched log-driven testing techniques for CPS.

(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.