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. He is currently working on projects in requirements and specification, and the survivability of critical networked infrastructure applications. Specific research topics include the use of natural language in specification, tool support for comprehensive specification development and analysis, network architectures that facilitate survivability, the security of those architectures, and the modeling of very large networks. |
![]() |