South Asia Institute
South Asia Institute

Sarfraz Khurshid


Associate ProfessorPhD, Massachusetts Institute of Technology

Professor
Sarfraz Khurshid

Contact

Interests


Software testing, specification languages, code conformance, model checking, application of heuristics in program analysis

Biography


Dr. Sarfraz Khurshid is a Professor of Electrical and Computer Engineering at The University of Texas at Austin.

He completed his PhD in Computer Science at MIT. He received a BSc in Mathematics and Computer Science from Imperial College (London), and read Part III of the Mathematical Tripos at Trinity College Cambridge. He is the recipient of the ACM SIGSOFT Impact Paper Award(link is external) (2012), two ACM SIGSOFT Distinguished Paper Awards(link is external) (ISSTA 2002 and ICSE 2010), a Best Practical Paper Award(link is external) (IEEE S&P Oakland 2014), a Best Research Paper Award(link is external) (ASWEC 2009), and an NSF CAREER Award(link is external) (2009). 

Profile Pages