About
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)
Find Joxan Jaffar elsewhere
Related Searches
You Might Also Like
Roland YAP Hock ChuanNational University of Singapore · Associate Professor![Nikolaj Popov](https://www3.risc.jku.at/people/pictures/npopov-screen.jpg?id=53192290")
Nikolaj PopovJohannes Kepler University Linz · Research Professor
Anand Mohan RAMCHANDNational University of Singapore · Associate Professor
SOO Yuen JienNational University of Singapore · Associate Professor
Yiannis SaridakisTechnical University of Crete · Professor
CHIN Wei NganNational University of Singapore · Associate Professor