[MAIN PAGE] [TEACHING] [STUDENTS] [RESEARCH] [PUBLICATIONS] [TOOLS] [SERVICE]
My Research Group (Past and Present)
Software systems, specifically program analysis, software security
and trustworthy systems.
At present my research group is actively engaged in the following topics.
FuzzInfer: Fuzzing Protocol Implementations, with DSO/Monash, 2019-21.
Trustworthy systems from un-trusted component amalgamations,
Singapore Cyber-security Consortium,
Self-Healing Software, with ONR, 2018-20.
2020: Former PhD student Dr. Van-Thuan Pham joining University of Melbourne as Lecturer (Asst. Prof.). His PhD research was on Fuzz testing.
2020 April: Article on "Singapore's Cybersecurity Ecosystem" appears in Communications of the ACM.
2019: Dr. Sergey Mechtaev joins University College London (UCL) as Lecturer (Asst. Prof.). His PhD research was on Automated Program Repair.
2019: Marcel Boehme receives Australian Research Council (ARC) Discovery Early Researcher Award (DECRA) for his work on fuzz testing.
2018: Keynote speaker at 25th Australasian Software Engineering Conference (ASWEC 2018), speaking on Automated Program Repair.
2018: Speaker at the 9th International Summer School on Information Security and Protection, Australian National University, July 2018.
2018: Keynote speaker at 21st IEEE International Symposium on Real-time Computing (ISORC), NTU Singapore, May 2018.
2018: Our work on repair of non-functional properties of mobile apps is highlighted in IEEE Innovation Spotlight.
2018: Keynote speaker at KLEE Workshop on Symbolic Execution (Apr 18), Imperial College London.
Older News (2017 and earlier)
Distinguished Lecture at Max-Planck Institute for Software Systems (July 2019) and KAIST (June 2020).
"Education consists mostly of what we have unlearned" - Mark Twain
"There is no joy in the finite. There is joy only in the infinite." - Upanishads
Þ What can you infer by
from the above two statements?
And here is one of my favorites, with a nuanced logical connotation!