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 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 (CAREER award CCF-0845628, and awards CCF-1319688, CNS-1239498, CNS-0958231, IIS-0438967, and CCF-0702680), 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)