Computer Science Department Faculty
Computer Sciences
>
Faculty
>
Members
See openings for faculty positions.
| Faculty Member | Title | Degree Info | Research |
| Auguston, Mikhail | Associate Professor | Ph.D., Glushkov Cybernetics Institute, 1983 | Software Engineering, Programming Languages, Compiler Construction, Testing and Debugging Automation, Visual Programming, Computer Security |
| Berzins, Valdis | 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. |
| Burke, Karen | Research Associate Professor | MS, Southern Illinois University, 1979 | Information Assurance, Government policy |
| Clark, Paul | Research Associate | MS, Naval Postgraduate School, 1999 | Computer Security Education, Modification of Open Source Operating Systems |
| Coté, Scott | Senior Lecturer | MS, Naval Postgraduate School, 2000 | Network design and integration, wireless networking, network security and robotics. |
| Darken, Chris | Associate Professor | Ph.D., Yale University, 1993 | Artificial intelligence, machine learning, and human cognition and behavior models for simulations |
| Darken, Rudy | Professor | DSc, George Washington University, 1995 | Virtual environments, Human-computer interaction, Human factors, Training systems, Wireless mobile computing |
| Das, Arijit | Research Associate | MS, University of Nevada, 1989 | Mobile Devices, Pocket PC, PALM, embedded C, J2ME, Java |
| Davis, Duane | Research Assistant Professor | Ph.D., Naval Postgraduate School, 2006 | Robotic and unmanned systems, machine learning, and cyber physical systems |
| Denning, Peter J. | 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 |
| Dinolt, George W. | Professor of Practice | Ph.D., University of Wisconsin-Madison, 1971 | Formal Methods, Computer Security |
| Drusinsky, Doron | 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 |
| Eagle, Chris | Senior Lecturer and Associate Chair | MS, Naval Postgraduate School, 1995 | Computer Network Attack/Defense/Exploitation, Computer Forensics, Reverse Engineering. |
| Fulp, John D. (JD) | Senior Lecturer | MS, Naval Postgraduate School, 1996 | Implementation of Public Key Infrastructure, Design of Secure Networks |
| Garfinkel, Simson L. | Associate Professor | Ph.D., Massachusetts Institute of Technology | Computer forensics, the emerging field of usability & security, privacy technology, information policy, and personal information management |
| Gibson, John H. | 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) |
| Huffmire, Ted | Assistant Professor | Ph.D., UC Santa Barbara, 2007 | Computer Architecture, Computer Security |
| Irvine, Cynthia E. | 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 |
| Kölsch, Mathias N. | Associate Professor and Chair of the Computer Science Curriculum Committee | Ph.D., University of California, Santa Barbara, 2004 | Computer Vision; Virtual & Augmented Reality, Video Analytics, Artificial Intelligence |
| Levin, Timothy E. | Research Associate Professor | BS, University of California at Santa Cruz, 1991 | Computer security, formal methods, trusted systems methodologies. |
| Lewis, Ted | 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. |
| Lundy, G.M. | 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 |
| Luqi | Professor and Academic Associate for Software Engineering | Ph.D., University of Minnesota, 1986 | Cyber and Cyber-Physical Systems, Social Context Modeling for Cyber, Big and Intensive Data Processing, Real-Time Monitoring for Network Based Systems, Detection Software for Insider Threat, Cyber-Physical Systems Security and Safety, Model Based System and Software Risk Analysis, Documentation Process Automation, Unified Hardware/Software Architecture, Metrics, Testing and Problem Solving in Rapid Prototyping |
| Martell, Craig | Associate Professor and Associate Chair | Ph.D., University of Pennsylvania, 2004 | Machine Learning, Natural Language Processing |
| McGhee, Robert B. | Professor Emeritus | Ph.D., University of Southern California, 1963 | Military Robotics, Computer Architecture, Computer Graphics |
| McMullen, Eric | LCDR, USN, Program Officer, Military Faculty | MS, Naval Postgraduate School, 2013 | Human Factors in Simulation, Supervisory Control of UAVs |
| Michael, Bret | Professor | Ph.D., George Mason University, 1993 | Trustworthy and dependable distributed systems, cloud and mobile device computing. |
| Nguyen, Thuy D. | 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 |
| Otani, Thomas W. | Associate Professor | Ph.D., University of California, San Diego, 1983 | Object-Oriented Modeling, Visual Query Languages, Software Development for Mobile Devices, Computer Science Education |
| Peitso, Loren | 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 | |
| Prince, Charles | Research Associate | BS, Oregon State University 1987, 1994, 1994 | Mobile Devices, Network, Security, Embedded Devices |
| Rohrer, Justin | Research Associate | Ph.D., The University of Kansas, 2011 | Mobile wireless networks, disruption-tolerant networks (DTNs), software-defined networks, network resilience and survivability |
| Rowe, Neil C. | Professor | Ph.D., Stanford University, 1983. | Applied Artificial Intelligence |
| Shaffer, Alan | CDR, U.S. Navy, PMP, Assistant Professor | Ph.D., Naval Postgraduate School, 2008 | Information Assurance, High Assurance System Engineering, Secure systems development and verification |
| Shifflett, David | Research Associate | BS, California State University, Northridge, 1985 | Multi-Level Security, High Assurance Computing/Systems, Trusted Networking |
| Shing, Man-Tak | 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 |
| Singh, Gurminder | 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 |
| Sullivan, Joe | 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 |
| Thompson, Mike | Research Associate | BS, Marquette University, 1981 | Network security simulation based educational games, high assurance multilevel security, software vulnerability analysis tools |
| Volpano, Dennis M. | Associate Professor | Ph.D., Oregon Graduate Institute, 1986 | Programming Languages, Type Systems, Program Security |
| Xie, Geoffrey | Professor and Associate Chair | Ph.D., University of Texas at Austin, 1996 | Network design, configuration, analysis, and validation; Tactical and disruption tolerant networks; Secure handhelds and seamless mobility; Underwater acoustic networks |
| Young, Joel | Lt Col (USAF), Military Faculty, Assistant Professor, Associate Chair for Research | Ph.D., Brown University, 2004 | Machine Learning |