John Knight

John Knight is a professor of computer science at the University of Virginia. 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.

Dr. Knight’s research interests are in software dependability and security. He is currently working on projects in safety-critical embedded systems and the security of critical networked applications. Specific research topics include techniques for practical formal verification, the use of safety and assurance arguments to guide software development, secretless security, and Helix, a self-regenerative architecture for the incorruptible enterprise.

From 2001 to 2005 Dr. Knight served as Editor in Chief of the IEEE Transactions on Software Engineering, and he is a member of the editorial board of the Empirical Software Engineering Journal. He was the General Chair of the 2000 International Symposium on the Foundations of Software Engineering, and he was the General Chair of the 2007 International Conference on Software Engineering. In 2006, he was the recipient of the IEEE Computer Society’s Harlan D. Mills Award, and in 2008 he was the recipient of the Distinguished Service Award of the ACM’s Special Interest Group on Software Engineering.

He can be reached via email at knight at cs.virginia.edu