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.
Employment :
1982 - 1986: Lecturer , Monash University, Australia
1986 - 1995: Research Staff Member ,
IBM T.J. Watson Research Center, NY, USA
08/95 - 11/97: Associate Professor (on leave from TJW),
National University of Singapore
12/97 - : Professor , National University of Singapore
Email : joxan@comp.nus.edu.sg
URL : http://www.comp.nus.edu.sg/~joxan