Sarfraz Khurshid
    Department of Electrical and Computer Engineering
    The University of Texas at Austin
    1 University Station C0803
    Austin, TX 78712
    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), three ACM SIGSOFT Distinguished Paper Awards (ISSTA 2002, ICSE 2010, and FSE 2019), a Best Practical Paper Award (IEEE S&P Oakland 2014), a Best Industry Paper Award (ICST 2019), a Facebook Testing and Verification Research Award (2018), and an NSF CAREER Award (2009).

My work is funded in part by the National Science Foundation, Air Force Office of Scientific Research, Naval Undersea Warfare Center, Office of Attorney General (Texas), Facebook, Fujitsu, and Huawei.


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)