Sarfraz Khurshid
Sarfraz Khurshid completed his PhD with Prof. Daniel Jackson at the Laboratory of Computer Science, Massachusetts Institute of Technology (MIT). Sarfraz co-leads, with PhD student Darko Marinov, the MulSaw project. Sarfraz received his S.M. from MIT in May 2000. Before joining MIT he was at Trinity College Cambridge, U.K. reading Part III of the Mathematical Tripos. He received his B.Sc. in Mathematics and Computer Science at Imperial College London, U.K. His current research focuses on specification languages, code conformance, model checking, and applications of heuristics in program analysis.
email: khurshid@lcs.mit.edu
url:
http://www.mit.edu/~sarfraz