John C. Knight

	Professor of Computer Science
	Office:	208 Olsson Hall
	Office Phone:	(434) 982-2216
	Office FAX:	(434) 982-2214
	E-mail:	mylastname atsymbol cs point virginia point edu
	US Mail and Courier Services: Department of Computer Science University of Virginia 151 Engineer's Way P.O. Box 400740 Charlottesville, VA 22904-4740
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 am 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" My research interests are in software dependability, and I am presently leading two research projects in that area. The first is in the area of formal methods. The goal is to develop industrial strength formal techniques by working closely with industry. Specific research topics include tools for the development of formal specifications, experimental assessment of formal techniques with industrial research partners, and the development of a comprehensive approach to the use of natural language in requirements analysis and formal specification. The second research project is developing techniques designed to enhance the survivability of critical networked infrastructure applications. Specific research topics include network architectures that facilitate survivability, the security of those architectures, and the modeling of very large networks. To learn more about my research see my research group's Web page. To see a list of my recent papers, click on the Recent Papers link below.

Things that annoy me about hotels, airports, and airplanes...