Sarfraz Khurshid

    POB (formerly ACES) 5.120
    The University of Texas at Austin
    Electrical and Computer Engineering
    1 University Station C5000
    Austin, TX 78712-0240
    USA
    Tel: +1 (512) 471 8244
    Fax: +1 (512) 471 5120
    khurshid@ece.utexas.edu


I am an Associate 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 ACM SIGSOFT Impact Paper Award (2012), two ACM SIGSOFT Distinguished Paper Awards (ISSTA 2002 and ICSE 2010), a Best Research Paper Award (ASWEC 2009), 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.


Students

Former Students


Teaching


Community


Conference Proceedings (co-edited)


Research


Sarfraz Khurshid
The University of Texas at Austin
Electrical and Computer Engineering
1 University Station C5000
Austin, TX 78712-0240
USA
(512) 471 8244
(512) 471 5120 (Fax)
khurshid@ece.utexas.edu