Sarfraz Khurshid
| Use attributes for filter ! | |
| Affiliations | University Of Texas At Austin |
|---|---|
| Interests | Software Testing And Verification |
| Debugging | |
| Error Recovery | |
| Specification Languages | |
| Co authors | Darko Marinov |
| Corina S. Păsăreanu | |
| Don Batory | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3675533 |
About Sarfraz Khurshid
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.London
Sarfraz Khurshid Photos
