Sarfraz Khurshid
    Professor, Electrical and Computer Engineering
    The University of Texas at Austin
    1 University Station C5000
    Austin, TX 78712-0240, USA
    Tel: +1 (512) 471 8244
    Fax: +1 (512) 471 5120
    Office location: EER 7.880

I am a Professor in the Department of Electrical and Computer Engineering at the University of Texas at Austin in the Center for Advanced Research in Software Engineering (ARiSE). I was formerly a graduate student at the MIT Laboratory for Computer Science, where I co-led the MulSaw project. I defended my PhD thesis in December 2003. A PDF version of my dissertation is available here *.pdf.

My research interests include automated software engineering, in particular: software testing; static and dynamic checking of code conformance; repair of structurally complex data; model checking; formal specification languages; parallel and incremental algorithms for software analysis.

I am a recipient of the ISSTA Retrospective Impact Paper Award (2018), the ASE Most Influential Paper Award (2015), 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), and an NSF CAREER Award (2009).

My research is funded in part by the National Science Foundation, the Air Force Office of Scientific Research, the Naval Undersea Warfare Center, and the Fujitsu Laboratories America, Inc.


Former Students



Conference Proceedings (co-edited)


Sarfraz Khurshid
The University of Texas at Austin
Electrical and Computer Engineering
1 University Station C5000
Austin, TX 78712-0240
(512) 471 8244
(512) 471 5120 (Fax)