Faculty



	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.


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


	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.


	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.


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


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


	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.


	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


	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.


	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.


	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


	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.