Sarfraz Khurshid

Sarfraz Khurshid


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 (2012), two ACM SIGSOFT Distinguished Paper Awards (ISSTA 2002 and ICSE 2010), a Best Practical Paper Award (IEEE S&P Oakland 2014), a Best Research Paper Award (ASWEC 2009), and an NSF CAREER Award (2009). 

Research Interests: 

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


EER 7.880


(512) 471-8244

Support Staff: