Funded Projects

Summary of Funded Projects

• 2025 - 2027 Joint Primary Investigator (Joint PI) / “CREDO: Comprehend, Refactor, and Decide with Orchestrated Agents – A Framework for Legacy System Evolution” / MOE AcRF Tier 1 (SUTD-SMU Joint Grant) / 250KS$ (SGD)

• 2025 - 2026 Primary Investigator (PI) / “SafeFuzzer: Safety Fuzzing of Machine Learning (ML) Models” / Temasek Lab @SUTD Seed Grant (TL@SUTD Seed) / 100KS$ (SGD)

• 2025 - 2028 Primary Investigator (PI) / “GoalFuzzer: Goal-directed Fuzzing via Distribution Learning” / MOE AcRF Tier 1 (SUTD Kickstarter Initiative (SKI)) / 100KS$ (SGD)

• 2024 - 2027 Co-Primary Investigator (Co-PI) / “INDIMO: Invariant Discovery and Monitoring for Message-Passing Programs” / Engineering & Physical Sciences Research Council (EPSRC) Standard Research Grant / 740K£ (GBP)

• 2022 – 2023 Primary Investigator (PI) / “Ground-Truth based Program Debugging (GTDebug)” / “C21/IS/15845400” / Luxembourg National Research Fund (FNR) Junior Core / 634K€ (EUR)

• 2023 – 2025 Co-Primary Investigator (Co-PI) / “FinInclusion: Assessing Financial Inclusion in Digital Financial Services (DFS)” / Luxembourg National Research Fund (FNR) National Centres of Excellence in Research (NCER) program / 400K€ (EUR)

• 2020 – 2022 Co-Investigator (Research Lead) / “LAIWYERS: Law and AI: WaYs to Explore Robust Solutions” / Audacity Grant AUDACITY-2019-Laiwyers / Institute for Advanced Studies (IAS) of the University of Luxembourg / 390K€ (EUR)