Sarfraz Khurshid — Electrical & Computer Eng. faculty at UT Austin. Research: software testing and verification, debugging, error recovery, specification.