CS Department Faculty - Computer Science
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
Faculty associate – research (MOVES)
PhD, Naval Postgraduate School, 2018
Interoperability, combat simulation, Semantic Web standards
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)
Cryptographic Key Exchange and Authentication Protocols, Protocol Design and Analysis, Security Models, Data Authentication and Confidentiality, Group Messaging Security, IoT Security, Device Commissioning for Autonomous Networks, Forward Secrecy and Post Compromise Security, Information Security Policy and Ethics, Key Infrastructures, Key Management, Post Quantum Cryptography.
Faculty Associate – Research (MOVES)
BS in Computer Science from UC Santa Cruz, 2004
Game design, User Interfaces
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
Faculty Associate – Research (MOVES)
BS Aviation Computer Science, Embry-Riddle Aeronautical University, 1995
Artificial Intelligence, Machine Learning, Computer graphics, Software design
Ph.D., University of California at Santa Barbara, 2004
Computer Vision, Machine Learning and AI, Augmented Reality, Human-Computer Cooperation, Computer Networks
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
Senior Lecturer, Academic Associate
Ph.D., Naval Postgraduate School, 2008
Security modeling of systems; high assurance system verification; formal methods analysis; network virtualization. Research interests moving toward data science and cloud computing.
B.S., Marquette University, 1981
Network security simulation based educational games, high assurance multilevel security, software vulnerability analysis tools
CS Department Faculty Openings
There are no current faculty openings.