Computer Science Faculty
| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |
 |
Martin Abadi Professor Computer Science |
abadi@soe.ucsc.edu 831-459-1489 Engineering 2 room 347A |
|
Computer and network security, specification and verification methods, programming languages |
||
 |
Scott Brandt Professor Computer Science |
sbrandt@soe.ucsc.edu 831-459-5042 Engineering 2 room 347B |
|
Operating systems, storage systems, real-time systems, distributed systems. |
||
 |
David Helmbold Professor Computer Science |
dph@soe.ucsc.edu 831-459-2016 Engineering 2 room 345B |
|
Machine learning, theoretical computer science, analysis of algorithms, intelligent systems. |
||
 |
Phokion G. Kolaitis Professor Computer Science |
kolaitis@soe.ucsc.edu 831-459-4768 Engineering 2 room 345A |
|
Logic in computer science, computational
complexity, database theory |
||
 |
Bob Levinson Professor Computer Science |
levinson@soe.ucsc.edu 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 |
lodha@soe.ucsc.edu 831-459-3773 Engineering 2 room 361 |
|
Visualization, vision, innovation, entrepreneurship |
||
 |
Darrell Long Professor Computer Science |
darrell@soe.ucsc.edu 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. |
||
 |
Charlie McDowell Professor Computer Science |
charlie@soe.ucsc.edu 831-459-4772 Engineering 2 room 349B |
|
Programming languages, computer go, parallel computing, computer science education. |
||
 |
Ethan L. Miller Professor Computer Science |
elm@soe.ucsc.edu 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 |
pang@soe.ucsc.edu 831-459-2712 Engineering 2 room 359 |
|
Uncertainty visualization, tensor visualization, scientific
visualization, collaboration software, virtual reality interfaces |
||
 |
Ira Pohl Professor Computer Science |
pohl@soe.ucsc.edu 831-459-2726 Engineering 2 room 349A |
|
Artificial intelligence, programming languages, heuristic methods,
educational and social issues, combinatorial algorithms |
||
 |
Allen Van Gelder Professor Computer Science |
avg@soe.ucsc.edu 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 |
manfred@soe.ucsc.edu 831-459-4950 Engineering 2 room 357 |
|
Online learning, machine learning, statistical decision theory, neural
computation, analysis of algorithms |
||
 |
Dimitris Achlioptas Associate Professor Computer Science |
optas@soe.ucsc.edu 831-459-1081 Engineering 2 room 343A |
|
Analysis of algorithms, machine learning, random structures, applications to biological and computer systems. |
||
 |
James Davis Associate Professor Computer Science |
davis@soe.ucsc.edu 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 |
cormac@soe.ucsc.edu 831-459-5375 Engineering 2 room 367 |
|
Software engineering, programming languages, computer-aided verification, program analysis, defect detection, type systems. |
||
 |
Michael Mateas Associate Professor Computer Science |
michaelm@soe.ucsc.edu 831-459-1789 Engineering 2 room 373 |
|
Artificial Intelligence (AI)-based art and entertainment (Expressive AI). |
||
 |
Wang-Chiew Tan Associate Professor Computer Science |
wctan@soe.ucsc.edu 831-459-3709 Engineering 2 room 343B |
|
Data provenance, annotations, archiving, data integration, scientific databases, database query languages, combinatorial optimization of database problems. |
||
 |
Jim Whitehead Associate Professor Computer Science |
ejw@soe.ucsc.edu 831-459-1227 Engineering 2 room 273 |
|
Software engineering, configuration management, hypertext versioning, web, open hypertext, collaborative authoring, application layer protocols, internet information systems. |
||
 |
Neoklis Polyzotis Assistant Professor Computer Science |
alkis@soe.ucsc.edu 831-459-1304 Engineering 2 room 353 |
|
Synopses for XML data, visual query interfaces, query processing, and optimization. |
||