Atif M. Memon is a Mellon Fellow at the Department of Computer Science, University of Pittsburgh. He received his BS and MS in Computer Science in 1991 and 1995 respectively. He was awarded a Gold Medal for First Position in BS. He enrolled at the University of Pittsburgh in 1996 and is currently a Ph.D. candidate. In 1999, he was awarded a Fellowship from the Andrew Mellon Foundation for his Ph.D. research. His research interests include program testing, software engineering, artificial intelligence, plan generation, and code improving compilation techniques. He is a member of the ACM and the IEEE Computer Society.