Skip to main content
Sarfraz Khurshid
512-471-8244
Office: EER 7.880

Sarfraz Khurshid

Professor

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). 

Research Interests
Software testing
Specification languages
Code conformance
Model checking
Applications of heuristics in program analysis