Joxan Jaffar

Professor Joxan Jaffar is affiliated with the Department of Computer Science at the National University of Singapore (NUS) School of Computing. He earned his Ph.D. from Monash University (1985), M.Sc. (1981) and B.Sc. (1979) from the University of Melbourne.

• Ph.D., Monash University, 1985
• M.Sc., University of Melbourne, 1981
• B.Sc. (Honours), University of Melbourne, 1979

His research focuses on Programming Languages, Constraint Logic Programming, and Software Verification. Recent work involves symbolic execution methods for program analysis, memory usage, and string constraint reasoning using tools like Tracer-X. He has received significant recognition, including the MOE Academic Research Fund (AcRF) grant in 2021.

Selected publications highlight advancements in symbolic execution, constraint-based program analysis, and verification of recursive data structures. His leadership roles at NUS include Head of Department (1998-2001) and Dean (2001-2007) of the School of Computing.

Scientific Awards:

• MOE AcRF grant (2021)