ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week (ESWEEK)
John Knight is a Professor Emeritus of Computer Science at the University of Virginia and President of Dependable Computing LLC. He holds 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, He was with NASA's Langley Research Center.
He was the general chair of the 2000 International Symposium on the Foundations of Software Engineering (FSE 2000) and general chair of the 2007 International Conference on Software Engineering (ICSE 2007). He served as Editor in Chief of the IEEE Transactions on Software Engineering from January 2002 to December 2005.
Professor Knight was honored by the IEEE Computer Society as the recipient of the 2006 Harlan D. Mills award and by the ACM's Special Interest Group on Software Engineering (SIGSOFT) as the recipient of the 2008 Distinguished Service award.
He can be reached via email at knight at cs.virginia.edu
He is online at