Naval Postgraduate School
Calendar | Directory
banner
Computer Science Department Faculty

Computer Science Department Faculty

See openings for faculty positions.

Faculty MemberTitleDegree InfoResearch

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, RobertAssistant ProfessorPh.D., Massachusetts Institute of Technology, 2008Network 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, Natural language processing, Virtual people

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, DuaneCDR, US Navy, CS/MOVES Program OfficerPh.D., Naval Postgraduate School, 2006Robotic systems, autonomous agents, and machine learning works

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.

Falby, John

Senior Lecturer

MS, Naval Postgraduate School, 1986

Computer graphics, Virtual environments for training

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)

Hiles, John

Research Professor

BS, University of California at Santa Barbara,1969

Agent modeling, Complex adaptive systems

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, 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

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

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

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

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

Peterson, Zachary

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

Riehle, Richard

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

Rowe, Neil C.

Professor

Ph.D., Stanford University, 1983.

Applied Artificial Intelligence

Shaffer, AlanCDR, U.S. Navy, Permanent Military ProfessorPh.D., Naval Postgraduate School, 2008Information 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

Volpano, Dennis M.

Associate Professor

Ph.D., Oregon Graduate Institute, 1986

Programming Languages, Type Systems, Program Security

Warren, Daniel F.

Senior Lecturer

MS, University of California at Santa Cruz, 1986

Computer Security, High Assurance Systems

Xie, Geoffrey

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, JoelLt Col (USAF), Military Faculty, Assistant Professor, Associate Chair for ResearchPh.D., Brown University, 2004Machine Learning

This is an official U.S. Navy website.
All information contained herein has been approved for release by the NPS Public Affairs Officer.
Page Last Updated: Feb 9, 2012 12:12:05 PM | Contact the Webmaster