Faculty


A

	Martin Abadi Professor Computer Science	831-459-1489 Engineering 2 Room 347A
	Computer and network security, specification and verification methods, programming languages

	Dimitris Achlioptas Associate Professor Computer Science	831-459-1081 Engineering 2 Room 343A
	Analysis of algorithms, machine learning, random structures, applications to biological and computer systems.

B

	Scott Brandt Professor Computer Science	831-459-5042 Engineering 2 Room 347B
	Operating systems, storage systems, real-time systems, distributed systems.

D

	James Davis Associate Professor Computer Science	831-459-1841 Engineering 2 Room 363
	Computer graphics and computer vision, methods for acquiring and manipulating complex graphical models from the real world.

F

	Cormac Flanagan Associate Professor Computer Science	831-459-5375 Engineering 2 Room 367
	Software engineering, programming languages, computer-aided verification, program analysis, defect detection, type systems.

H

	David Helmbold Professor Computer Science	831-459-2016 Engineering 2 Room 345B
	Machine learning, theoretical computer science, analysis of algorithms, intelligent systems.

K

	Phokion G. Kolaitis Professor Computer Science	831-459-4768 Engineering 2 Room 345A
	Logic in computer science, computational complexity, database theory

L

	Bob Levinson Professor Computer Science	831-459-2087 Engineering 2 Room 255
	Artificial intelligence, machine learning, heuristic search, associative pattern retrieval, hierarchical reinforcement learning, semantic networks

	Suresh Lodha Professor Computer Science	831-459-3773 Engineering 2 Room 361
	Visualization, vision, innovation, entrepreneurship

	Darrell Long Professor Computer Science	831-459-2616 Engineering 2 Room 371
	Storage systems, distributed computing systems, operating systems, mobile computing, performance evaluation, fault tolerance, computer security, multimedia, and video-on-demand systems.

M

	Michael Mateas Associate Professor Computer Science	831-459-1789 Engineering 2 Room 373
	Artificial Intelligence (AI)-based art and entertainment (Expressive AI).

	Charlie McDowell Professor Computer Science	831-459-4772 Engineering 2 Room 349B
	Programming languages, computer go, parallel computing, computer science education.

	Ethan L. Miller Professor Computer Science	831-459-1222 Engineering 2 Room 365
	File and storage systems, operating systems, computer security, distributed systems, reliability and fault tolerance, performance evaluation, and information retrieval

P

	Alex Pang Professor Computer Science	831-459-2712 Engineering 2 Room 359
	Uncertainty visualization, tensor visualization, scientific visualization, collaboration software, virtual reality interfaces

	Ira Pohl Professor Computer Science	831-459-2726 Engineering 2 Room 349A
	Artificial intelligence, programming languages, heuristic methods, educational and social issues, combinatorial algorithms

	Neoklis Polyzotis Assistant Professor Computer Science	831-459-1304 Engineering 2 Room 353
	Synopses for XML data, visual query interfaces, query processing, and optimization.

T

	Wang-Chiew Tan Associate Professor Computer Science	831-459-3709 Engineering 2 Room 343B
	Data provenance, annotations, archiving, data integration, scientific databases, database query languages, combinatorial optimization of database problems.

V

	Allen Van Gelder Professor Computer Science	831-459-4611 Engineering 2 Room 355
	Logic programming algorithms, parallel algorithms, complexity, programming languages, automated theorem proving, scientific visualization

W

	Noah Wardrip-Fruin Assistant Professor Computer Science	831-459-4131 Engineering 2 Room 271


	Manfred Warmuth Professor Computer Science	831-459-4950 Engineering 2 Room 357
	Online learning, machine learning, statistical decision theory, neural computation, analysis of algorithms

	Jim Whitehead Associate Professor Computer Science	831-459-1227 Engineering 2 Room 273
	Software engineering, configuration management, hypertext versioning, web, open hypertext, collaborative authoring, application layer protocols, internet information systems.

Faculty

A

B

D

F

H

K

L

M

P

T

V

W