| John Knight | | Professor, Computer Science | | Ph.D., University of Newcastle upon | , Imperial College of Science and Technology| | | ohn 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.
He is presently serving as Editor in Chief of the IEEE
Transactions on Software Engineering. He is member of the editorial
board of the
Empirical Software Engineering Journal and the
ACM Transactions on
Embedded Systems | | | | Research Interests | | Dr. Knight's research interests are in software
dependability, and he is 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. | | |
|
|
