Professor of Computer Science

Contact Information

Office Telephone:.................................... +1 434.982.2216

Office Fax:............................................... +1 434.982.2214

E-mail:................ mylastname atsign cs dot virginia dot edu

Office:....................................................... 208 Olsson Hall

U.S. Mail and Courier Services:
151 Engineer’s Way, PO Box 400740
Charlottesville, VA 22904-4740

John C. Knight
University of Virginia
Department of Computer Science

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.

If you are interested in commercial access to any of the technology with which I am associated, please contact me at:

Dependable Computing

http://www.dependablecomputing.com      info atsign dependablecomputing dot com      +1 434.563.3183

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.