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
PhD, 2017, Norwegian University of Science and Technology (NTNU)
Security, Cryptography, Communications
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
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.
PhD, 2015, Pace University
Security, Usability, Artificial intelligence
B.A., University of California at San Diego, 1982
Secure Cyber-Physical Systems (industrial control systems (ICS), programmable system-on-chip (SoC FPGA) platforms, heavy-duty vehicle communications systems (SAE J1939)), Secure Cloud-scale Platforms and Applications, High Assurance Operating Systems and Kernels, Hardware Security, Systems Security Engineering, and Security Evaluation and Certification
B.S., Oregon State University, 1993
Mobile Devices, Network, Security, Embedded Devices
B.S., Marquette University, 1981
Network security simulation based educational games, high assurance multilevel security, software vulnerability analysis tools
CS Department Faculty Openings
The Naval Postgraduate School (NPS) has multiple openings for tenure-track Assistant Professor positions in the Department of Computer Science. We encourage all qualified candidates to apply, but are especially interested in artificial intelligence, data science, distributed systems, machine learning, and security. We seek to fill positions by September 2019 and will consider applications on a rolling basis until filled.
The Naval Postgraduate School (NPS) is accepting applications for a Lecturer/Senior Lecturer in the Department of Computer Science (non tenure track). While we encourage all qualified candidates to apply, we are especially interested in candidates with strong CS core topic teaching experience and expertise in artificial intelligence, data science, distributed systems, machine learning, or security. We seek to fill the position by September 2019 and will consider applications on a rolling basis until filled.