Sarfraz Khurshid

Associate Professor

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

He recently 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.

Research Interests: 

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

Office: 

POB 5.120

Phone: 

(512) 471-8244