Sarfraz Khurshid

    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 of Electrical and Computer Engineering at UT 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: static and dynamic checking of code conformance; software testing; repair of structurally complex data; model checking; formal specification languages; parallel and incremental algorithms for software analysis.

My research is funded in part by the National Science Foundation (CAREER award CCF-0845628, and awards CNS-0958231, IIS-0438967, and CCF-0702680), the Air Force Office of Scientific Research, and the Naval Undersea Warfare Center.


Community


Students (Current)


Students (Former)


Teaching


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