Computer Science Department Chair Dr. Peter Denning
Peter J. Denning is Distinguished Professor and Chair of Computer Science, and Director of the Cebrowski Institute for information innovation at the Naval Postgraduate School in Monterey, California. He has held faculty positions at Princeton, Purdue, NASA Ames Research Center, and George Mason University. He is a pioneer in operating systems and computer system performance models. He was a co-founder of CSNET, the award-winning CS community network that bridged between the ARPANET and the NSFNET. He holds 26 awards for technical and service contributions to computing. His latest book, Great Principles of Computing (with Craig Martell), presents a holistic view of computing and its interactions with many fields. He is Editor of Ubiquity, ACM's online magazine about the future of computing.
Computer Science Faculty
Bruce AllenFaculty Associate Research
Ph.D., Massachusetts Institute of Technology, 1979
Software Engineering, Computer Aided Design, Software Evolution and Merging, Specification Languages, Computer Languages, Program Synthesis and Verification, Knowledge Representation, Engineering Databases
Ph.D., Weizmann Institute of Science, Rehovot, Israel, 1988
Publications. Harel statecharts, UML, Verification, Formal Methods, Software Testing, Run time Verification, Temporal Pattern Matching, Automatic Test Generation, Real Time Model Checking, Real Time, Low Impact, On-line business rule and security checking, Temporal Logic, Metric Temporal Logic, Probabilistic Temporal Logic, Extended Regular Expressions, Visualization, Programming Applications of Formal Methods, Knowledge models, Temporal Intrusion Pattern Detection
MS, Naval Postgraduate School, 1990 and 2000
Computer networks (especially under extremely harsh environments, such as shallow water acoustic communications or mobile, low-power, ad hoc networks in support of battlefield operations)
Research Assistant Professor
Ph.D., University of California at Davis, 2009
Distinguished Professor and Director, Center for Information Systems Security Studies and Research
Ph.D., Case Western University, 1975
Information Assurance, Multilevel Security, High Assurance Security Engineering, Network Security, Security Models, Distributed Systems Security, Security Requirements Engineering, Information Assurance Pedagogy, Systems Architecture
B.S., University of California at Los Angeles, 1995
Ph.D., University of Minnesota, 1986
Cyber Security, Risk Assessment, Cognitive Modeling, Runtime Monitoring, Cyber-Physical Systems, Autonomous Systems, Network & Communications Systems, Distributed Systems of Systems, and C4ISR Modeling and Simulation, Data Science, Document Conversion, Reliable Software Architectures, Rapid Prototyping & Agile Methods for Software Automation.
B.A., University of California at San Diego, 1982
Advanced Topics in Computer Security, Trusted Operating Systems and Kernels, Multilevel Security Applications, Common Criteria Evaluation for High Robustness Systems, Secure Web Services
M.S., Naval Postgraduate School, 2002
Artificial Intelligence and learning methods, physically based simulation for uses in virtual environments, training and robotics
B.S., Oregon State University, 1993
Mobile Devices, Network, Security, Embedded Devices
B.S., California State University at Northridge, 1985
Multi-Level Security, High Assurance Computing/Systems, Trusted Networking
B.S., Marquette University, 1981
Network security simulation based educational games, high assurance multilevel security, software vulnerability analysis tools
Computer Science Department Faculty Openings
The Naval Postgraduate School (NPS) is accepting applications for the position of Assistant Professor in the Department of Computer Science. The focus of Cyber Security includes network and systems security, cloud and distributed security, digital forensics, and cyber-physical systems.
The Naval Postgraduate School (NPS) is accepting applications for the position of Assistant Professor in the Department of Computer Science. The focus of Autonomous Systems includes machine learning, data-mining, and natural language processing, with emphasis on reasoning over large data sets.