Computer Science

Baskin School of Engineering
Engineering 2 Building
(831) 459-2158
http://www.soe.ucsc.edu

Faculty and Professional Interests

Professor

Martín Abadi
Computer and network security, principles of programming languages, specification and verification methods

Scott A. Brandt
Operating systems, storage systems, real-time systems

Cormac Flanagan
Programming languages, type systems, specification and verification methods, software engineering, concurrency

David P. Helmbold
Machine learning, computational learning theory, analysis of algorithms

Harry D. Huskey, Emeritus

Phokion G. Kolaitis
Logic in computer science, automated deduction, computational complexity, database theory

Robert A. Levinson
Artificial intelligence, machine learning, heuristic search, associative pattern retrieval, hierarchical reinforcement learning, semantic networks

Suresh K. Lodha
Visualization, vision, innovation, entrepreneurship

Darrell D. E. Long
Storage systems, distributed computing systems, operating systems, mobile computing, performance evaluation, fault tolerance, computer security, multimedia, and video-on-demand systems

Charles E. McDowell
Programming languages, parallel computing, and computer science education

Ethan L. Miller
Archival storage systems, metadata management and information retrieval, file and storage systems, distributed systems, computer security, reliability and fault tolerance

Alex T. Pang
Uncertainty visualization, tensor visualization, scientific visualization, collaboration software, virtual reality interfaces

Ira Pohl
Artificial intelligence, programming languages, heuristic methods, educational and social issues, combinatorial algorithms

R. Michael Tanner, Emeritus

Allen Van Gelder
Logic programming algorithms, parallel algorithms, complexity, programming languages, automated theorem proving, scientific visualization

Marilyn Walker
Dialogue systems, natural language processing, computer games, human-computer interaction, machine learning, artificial intelligence

Manfred K. Warmuth
Online learning, machine learning, statistical decision theory, game theory, analysis of algorithms

Associate Professor

Dimitris Achlioptas
Analysis of algorithms, machine learning, random structures

Luca de Alfaro
Formal methods, game theory, embedded systems, software engineering

James E. Davis
Computer graphics and computer vision, methods for acquiring digital representations of the real world, information technology targeted at world social issues

Michael Mateas
Artificial Intelligence (AI) for art and entertainment, game AI, AI and creativity, AI-based interactive storytelling, autonomous characters

Neoklis Polyzotis
Synopses for XML data, visual query interfaces, query processing, and optimization

Wang-Chiew Tan
Database systems: data provenance, information integration, scientific databases, database query languages, combinatorial optimization of database problems

E. James Whitehead Jr.
Software engineering, software evolution, software bug prediction, automated software construction, video game level design

Assistant Professor

Arnav Jhala
Artificial Intelligence: storytelling in games, intelligent machinima generation, smart graphics, and intelligent user interfaces

Noah Wardrip-Fruin
Digital media, computer games, electronic literature, software studies

Adjunct Professor

Don Chamberlin
Database languages and systems, document processing

Martin Griss
Software Engineering

James King
Adobe technology, digital publishing, program verification

Associate Adjunct

Thomas Schwarz
Reliability and security in storage systems

Assistant Adjunct Professor

John D. Funge
Artificial intelligence (AI); game AI; computer games; machine learning; knowledge representation and democratic methods

Carlos Maltzahn
Scalable file system data and metadata management; very long-term data preservation; network intermediaries; machine learning; information retrieval; cooperation dynamics

Lecturer

Paulo Franca
Computer programming teaching methodology; web-based development techniques, office automation, and paperless document management

Wesley Mackey
Compiler construction, programming languages

Patrick Tantalo
Graph theory, combinatorics, optimization, algorithms

Linda Werner
Software engineering, testing, educational and societal issues of computer science

Alexandre Brandwajn (Computer Engineering)
Computer architecture, performance modeling, queuing network models of computer systems, operating systems

Pak K. Chan (Computer Engineering)
Placement and routing algorithms, field-programmable gate arrays, spectral-based partitioning, circuit theory, computer arithmetic

Gabriel Elkaim (Computer Engineering)
Embedded systems; robust software architectures for real-time reactive systems; sensor fusion; guidance, navigation, and control (GNC) system identification; robust and advanced control schemes; feedback control systems; robotics; unmanned autonomous vehicles (UAVs); and cooperative control

F. Joel Ferguson (Computer Engineering)
Fault diagnosis, failure analysis, logic fault modeling, digital test pattern generation, design-for-test of digital circuits and systems

J. J. García-Luna-Aceves (Computer Engineering)
Baskin Professor of Computer Engineering and Director of Networking Sciences Institute
Wireless networks, Internet, multimedia information systems

Jorge Hankamer (Linguistics)
Syntax, semantics, morphology, computational linguistics, Turkish

David Haussler (Biomolecular Engineering; Distinguished Professor of Biomolecular Engineering, Investigator, Howard Hughes Medical Institute; Director, Center for Biomolecular Science and Engineering; Scientific Co-Director, California Institute for Quantitative Biosciences [QB3])
Molecular evolution, neurodevelopment, genomics, bioinformatics, computational molecular biology, statistical models, machine learning, neural networks

Richard Hughey (Biomolecular Engineering and Computer Engineering)
Computer architecture, parallel processing, computational biology

Kevin Karplus (Biomolecular Engineering)
Protein structure prediction, protein design

Tracy Larrabee (Computer Engineering)
Test-pattern simulation and generation, fault modeling, fault diagnosis, design verification, technical writing, logic simulation

Patrick E. Mantey (Computer Engineering)
(Baskin Professor of Computer Engineering)
Image systems, image processing, visualization, image and multimedia systems, digital signal processing, real-time control

Katia Obraczka (Computer Engineering)
Computer networks, distributed systems, operating systems, Internet information systems, mobile computing, wireless networks

Warren Sack (Film and Digital Media)
Software design and media theory

Martine D. F. Schlag (Computer Engineering)
VLSI design tools and algorithms, VLSI theory, field-programmable gate arrays, FPGA-based computing engines

Barry Sinervo (Ecology and Evolutionary Biology)
Animal behavior, evolution, physiological ecology

Hai Tao (Computer Engineering)
Image and video processing, computer vision, vision-based graphics, and human-computer interaction

Anujan Varma (Computer Engineering)
Computer networking, computer architecture, optical networks

W. Todd Wipke, Emeritus (Chemistry and Biochemistry)