Khurshid, Sarfraz
Assistant Professor
| Phone | Room | |
|---|---|---|
| (512) 471-8244 | ACE 5.120 | khurshid@ece.utexas.edu |
Support Staff: Harris, Charlotte |
||
| (512) 232-3343 | ACE 5.124 | charlotte.harris@edge.utexas.edu |
Website: http://users.ece.utexas.edu/~khurshid/
Research Areas:
Biography:
Sarfraz Khurshid is an Assistant 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:
His current research focuses on software testing, specification languages, code conformance, model checking, and applications of heuristics in program analysis.