Welcome

I am a professor of computer science at the University of Virginia. I hold a B.Sc. (Hons) in Mathematics from the Imperial College of Science and Technology (London) and a Ph.D. in Computer Science from the University of Newcastle upon Tyne. Prior to joining the University of Virginia in 1981, I was with NASA's Langley Research Center.

Most importantly, I was the originator of the Puzzler used on NPR's Car Talk on October 28, 2006!

I was the general chair of the
2000 International Symposium on the Foundations of Software Engineering (FSE 2000). I was the general chair of the 2007 International Conference on Software Engineering (ICSE 2007). I served as Editor in Chief of the IEEE Transactions on Software Engineering from January 2002 to December 2005. I am a member of the editorial board of the Empirical Software Engineering Journal.


I was honored by the IEEE Computer Society as the recipient of the
2006 Harlan D. Mills award. The award citation reads: "For encouraging software researchers to focus on practical results as well as theory, and for critically analyzing their assumptions and evaluating their research claims"

I was honored by the ACM's Special Interest Group on Software Engineering (SIGSOFT) as the recipient of the
2008 Distinguished Service award.

John C. Knight
University of Virginia
Department of Computer Science