Joxan Jaffar

Joxan Jaffar is a Professor at the National University of Singapore's Department of Computer Science. He holds a Ph.D. from Monash University (1985), an M.Sc. from the University of Melbourne (1981), and a B.Sc. (Honours) from the University of Melbourne (1979). Prior to joining NUS in 1995, he worked as a Lecturer at Monash University (1982–1986) and as a Research Staff Member and Project Leader at IBM T.J. Watson Research Center (1986–1995). His research focuses on programming languages, constraint solving, and program analysis, with notable contributions to constraint logic programming and the CLP(R) system. His current work includes symbolic execution methods for verification and analysis, supported by tools like Tracer-X.

Joxan Jaffar is a researcher at the National University of Singapore, specializing in Programming Languages. His work focuses on constraint logic programming, symbolic execution, and formal semantics of logic programs. Jaffar has contributed significantly to the development of constraint logic programming systems, including the CLP(ℛ) language and system. His research also explores symbolic string solvers for vulnerability detection and interpolation methods for program verification. Additionally, he has investigated set constraints, unification over infinite terms, and logic programming with equality. His publications highlight a strong emphasis on formal methods and practical applications in software verification and analysis.