COM1-03-11
651 67846

www.comp.nus.edu.sg/~joxan

Joxan JAFFAR

Professor

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

Joxan Jaffar received his B.Sc.(Hons, 1st class) and M.Sc. from Melbourne University in 1979 and 1981, and his Ph.D. from Monash University in 1985. From 1982 through 1986, he was a Lecturer in Monash, and from 1986 through 1995, he was a Research Staff Member and Project Leader in the IBM. T.J. Watson Research Center, Yorktown Heights, New York. He joined NUS in 1995, became Head of the Department of Computer Science in 1998, and Dean of the School of Computing from 2001-2007. Amongst his main early contributions are the principles of constraint logic programming, and the widely-used CLP(R) system. His current interests are in programming languages and constraint solving, with some emphasis on symbolic execution methods for verification, analysis and testing. His current research tool Tracer-X performs dynamic symbolic execution with interpolation, which supports his analysis algorithms for quantitative analysis, memory usage, and string constraint reasoning.

RESEARCH INTERESTS

  • Program Analysis

  • Theorem-Proving

  • Combinatorial Optimization

  • Programming Languages and Applications

RESEARCH PROJECTS

RESEARCH GROUPS

TEACHING INNOVATIONS

SELECTED PUBLICATIONS

  • CAV, 2017.
  • Application RTAS, 2016
  • CAV, 2016
  • Language Design and Implementation PLDI, 2015.
  • Enhanced Learning, Runtime Verification RV 2014.

AWARDS & HONOURS

MODULES TAUGHT

CS5218
Principles and Practice of Program Analysis

 

In the News

20210812_MOE_Tier_2_Grant
13 August 2021
13 August 2021 - NUS Computing faculty members, Professor Joxan Jaffar, Associate Professor Prateek Saxena and Assistant Professor Angela Yao, ...