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

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

Cote

Scott

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

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.

Associate Professor

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)

Herzog

Jonathon C.

Associate Professor

Ph.D., Massachusetts Institute of Technology, 2004

Computer Security, Cryptography

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.

Assistant 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

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

Ph.D., University of Pennsylvania, 2004

Not available

McGhee

Robert B.

Professor Emeritus

Ph.D., University of Southern California, 1963

Military Robotics, Computer Architecture, Computer Graphics

Michael

Bret

Professor and Academic Associate of Software Engineering

Ph.D., George Mason University, 1993

Engineering dependable distributed systems for defense and intelligence applications

Murray

William H.

Research Associate

BS, Louisiana State University, 1962

Not available

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

Riehle

Richard

Visiting Professor

MS, National University, 1979

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 and Associate Chair for Research

Ph.D., Stanford University, 1983.

Applied Artificial Intelligence

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

Squire

Kevin

Assistant Professor

Ph.D., University of Illinois at Urbana-Champaign

Autonomous Robotic Coordination, Stochastic Modeling, Simultaneous Localization and Mapping (SLAM), Automatic Speech and Language Acquisition

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