Computer Science Department Faculty
See openings for faculty positions.
| Faculty Member | Title | Degree Info | Research |
Associate Professor | Ph.D., Glushkov Cybernetics Institute, 1983 | Software Engineering, Programming Languages, Compiler Construction, Testing and Debugging Automation, Visual Programming, Computer Security | |
Professor | 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 | |
| Beverly, Robert | Assistant Professor | Ph.D., Massachusetts Institute of Technology, 2008 | Network architecture, systems engineering, Internet measurement, and complex systems. Intersection of networks and machine learning. |
Research Associate Professor | MS, Southern Illinois University, 1979 | Information Assurance, Government policy | |
Research Associate | MS, Naval Postgraduate School, 1999 | Computer Security Education, Modification of Open Source Operating Systems | |
Senior Lecturer | MS, Naval Postgraduate School, 2000 | Network design and integration, wireless networking, network security and robotics. | |
Associate Professor | Ph.D., Yale University, 1993 | Artificial intelligence, Machine learning, Natural language processing, Virtual people | |
Professor | DSc, George Washington University, 1995 | Virtual environments, Human-computer interaction, Human factors, Training systems, Wireless mobile computing | |
Research Associate | MS, University of Nevada, 1989 | Mobile Devices, Pocket PC, PALM, embedded C, J2ME, Java | |
| Davis, Duane | CDR, US Navy, CS/MOVES Program Officer | Ph.D., Naval Postgraduate School, 2006 | Robotic systems, autonomous agents, and machine learning works |
Chair, Department of Computer Sciences, Director of the Cebrowski Institute and Professor (2002); Ph.D.,MIT, 1968. | Ph.D., Massachusetts Institute of Technology, 1968 | Technology and transformation, Networking in network centric operations | |
Professor of Practice | Ph.D., University of Wisconsin-Madison, 1971 | Formal Methods, Computer Security | |
Associate Professor | Ph.D., Weizmann Institute of Science, Rehovot, Israel, 1988 | 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 | |
Senior Lecturer and Associate Chair | MS, Naval Postgraduate School, 1995 | Computer Network Attack/Defense/Exploitation, Computer Forensics, Reverse Engineering. | |
Senior Lecturer | MS, Naval Postgraduate School, 1986 | Computer graphics, Virtual environments for training | |
Senior Lecturer | MS, Naval Postgraduate School, 1996 | Implementation of Public Key Infrastructure, Design of Secure Networks | |
Associate Professor | Ph.D., Massachusetts Institute of Technology | Computer forensics, the emerging field of usability & security, privacy technology, information policy, and personal information management | |
Research Associate | 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 Professor | BS, University of California at Santa Barbara,1969 | Agent modeling, Complex adaptive systems | |
Assistant Professor | Ph.D., UC Santa Barbara, 2007 | Computer Architecture, Computer Security | |
Professor and Director of the Center for Information Systems Security Studies and Research (CISR). | 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 | |
Associate Professor, Chair of Modeling, Virtual Environments and Simulation (MOVES) Academic Committee and Academic Associate of MOVES | Ph.D., University of California, Santa Barbara, 2004 | Computer Vision, Virtual & Augmented Reality, Human-Computer Interaction, Gesture Recognition | |
Research Associate Professor | BS, University of California at Santa Cruz, 1991 | Computer security, formal methods, trusted systems methodologies. | |
Professor | Ph.D., Washington State University, 1971 | 1. Legacy system migration in enterprise systems; XML and N-tier architectures as an architectural framework for systems migration and “aging”; 2. Agent-based simulation systems: the application of scale-free network theory to critical infrastructure protection; optimization of networks; network-centric warfare; spread of epidemics; 3. Internet business modes and the theory of increasing returns: application of technology diffusion equations in business modeling; mathematical models of chaos (non-linear systems) to marketing. | |
Associate Professor | Ph.D., Georgia Institute of Technology, 1988 | Computer networks, Telecommunications networks, Internetworking, Network security, Formal specification, Analysis, Testing and simulation of computer network protocols, High speed networks, Application of networks | |
Professor and Academic Associate for Software Engineering | Ph.D., University of Minnesota, 1986 | Software Engineering, System Automation, Software-intensive System Modeling, Computer-Aided Prototyping, Specification Languages, Engineering Automation for System Requirements, Design Methodology, Real-Time and Embedded Systems, Software Tools, Software Evolution, Software Architecture, Software-intensive System Safety, Signal Processing, Control System Design, Collaborative and Network Centric Applications | |
Associate Professor and Associate Chair | Ph.D., University of Pennsylvania, 2004 | Machine Learning, Natural Language Processing | |
Professor Emeritus | Ph.D., University of Southern California, 1963 | Military Robotics, Computer Architecture, Computer Graphics | |
Professor | Ph.D., George Mason University, 1993 | Trustworthy and dependable distributed systems, cloud and mobile device computing. | |
Research Associate | BA, University of California –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 | |
Associate Professor | Ph.D., University of California, San Diego, 1983 | Object-Oriented Modeling, Visual Query Languages, Software Development for Mobile Devices, Computer Science Education | |
Senior Lecturer and Associate Chair for Administration | MS, Naval Postgraduate School, 2002 | Artificial Intelligence and learning methods, physically based simulation for uses in virtual environments, training and robotics | |
Assistant Professor | Ph.D., Johns Hopkins University, 2006 | Storage and secure systems, cryptography, cloud computing, record and content management legislation, intellectual property issues, privacy and other technological and legal topics | |
Visiting Professor | Ph.D., Naval Postgraduate School, 2008 | Software Architecture, Software Engineering Best Practices, Object Technology in Software Engineering, Deception Strategies in Computer Security, Engineering Rationale for Software Engineering | |
Professor | Ph.D., Stanford University, 1983. | Applied Artificial Intelligence | |
| Shaffer, Alan | CDR, U.S. Navy, Permanent Military Professor | Ph.D., Naval Postgraduate School, 2008 | Information Assurance, High Assurance System Engineering, Secure systems development and verification |
Research Associate | BS, California State University, Northridge, 1985 | Multi-Level Security, High Assurance Computing/Systems, Trusted Networking | |
Associate Professor | Ph.D., University of California at San Diego, 1981 | Software Engineering, Real-Time Systems Modeling and Scheduling, Software Architectures for embedded and distributed systems, Computer-Aided Prototyping, Software Re-engineering, Engineering Automation for Computer Based System | |
Professor and Director of the Center for the Study of Mobile Devices and Communications (2002) | Ph.D., University of Alberta, Canada, 1989 | Wireless Mobile Computing, Mobile Devices, Wireless Data Services | |
CDR, U.S. Navy, Military Instructor and Interim Director, Modeling, Virtual Environments and Simulation Institute | MS, Naval Postgraduate School, 1998 | Military training applications for virtual environments | |
Associate Professor | Ph.D., Oregon Graduate Institute, 1986 | Programming Languages, Type Systems, Program Security | |
Senior Lecturer | MS, University of California at Santa Cruz, 1986 | Computer Security, High Assurance Systems | |
Associate Professor | Ph.D., University of Texas at Austin, 1996 | High speed and integrated services computer networks, Network security, Extreme networking (underwater acoustic networks, etc.), Multimedia systems | |
| Young, Joel | Lt Col (USAF), Military Faculty, Assistant Professor, Associate Chair for Research | Ph.D., Brown University, 2004 | Machine Learning |