Computer Science

2017-18 General Catalog

Baskin School of Engineering
http://www.soe.ucsc.edu

Program Statement | Course Descriptions


Faculty and Professional Interests

Professor

Martín Abadi, Emeritus

Dimitris Achlioptas
Analysis of algorithms, machine learning, random structures

Luca de Alfaro
Reputation systems, crowdsourcing, game theory, formal methods

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

James E. Davis
Information and Communication Technologies for Development (ICTD), technology for global social issues, human computation, computational photography, computer vision, computer graphics

Cormac Flanagan
Programming languages, computer security, static and dynamic analysis, verification, type systems, concurrency

Lise Getoor
Machine learning, reasoning under uncertainty, analysis of graphs and networks, artificial intelligence, database management, information integration, visual analytics, data science

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

Harry D. Huskey, Emeritus

Phokion G. Kolaitis
Distinguished Professor

Principles of database systems, logic in computer science, and computational complexity

Robert A. Levinson, Emeritus

Suresh K. Lodha
Data analytics and visualization, vision, innovation, technology for social good

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

Alex T. Pang
Visualization for the masses, uncertainty visualization, tensor visualization, scientific visualization, comparative visualization, collaboration software, augmented/virtual reality interfaces

Ira Pohl, Emeritus

R. Michael Tanner, Emeritus

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

S.V.N. Vishwanathan
Optimization for machine learning, distributed computation, statistical modeling

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

Alexander Wolf
Engineering of large and/or complex software systems, experimental computer science, distributed systems and networks, software engineering, self-managed systems

Assistant Professor

Peter Alvaro
Data management systems, distributed systems, logic programming

Owen Arden
Language-based abstractions for secure distributed computing

Seshadhri Comandur
Analysis of algorithms, theoretical foundations for massive data algorithms, social network analysis

Abhradeep Guha Thakurta
Statistical data privacy and its relation to machine learning and data mining. More precisely, the privacy implications in problems spanning the areas of high-dimensional statistics, risk minimization, online learning and pattern mining. Usually studying the privacy implications result in analyzing the algorithmic stability of existing learning algorithms

Adjunct Professor

Carlos Maltzahn
Scalable file system data and metadata management, storage, Quality of Service (QoS), data management games, network intermediaries, information retrieval and cooperation dynamics

Ike Nassi
High-performance computing, computer systems architecture, parallel processing, programming languages, computer networks, operating systems, distributed systems, personal computers, history of computing

Thomas Schwarz
Reliability and security in storage systems

Neel Sundaresan
Big data science, machine learning, e-commerce, search science, recommender system, internet economics and monetization, internet of things, programming languages, parallel computing, reputation systems, human computing

Linda Werner
Software engineering, computer science education, children and computer game creation, testing, increasing diversity in computer science

Continuing Lecturer

Delbert (Dean) Bailey
Complexity, artificial intelligence, machine learning

Wesley Mackey
Compiler construction, programming languages

Patrick Tantalo
Graph theory, combinatorics, optimization, algorithms

♦ ♦ ♦

Lawrence Andrews (Film and Digital Media)
Documentary, sound, animation, installation

Alexandre Brandwajn, Emeritus (Computer Engineering)

Pak K. Chan, Emeritus (Computer Engineering)

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, Emeritus (Computer Engineering)

J. J. García-Luna-Aceves (Computer Engineering; Technology Management)
Principles of computer communication, Internet, mobile and pervasive computing, wireless networks, information centric networks, network science

David Haussler (Biomolecular Engineering)
Bioinformatics, genomics, computational genomic data analysis, molecular evolution and comparative genomics, genomic and clinical data sharing and standards, cancer genomics, neurodevelopment, stem cell research, immunogenomics, information theory, pattern recognition, machine learning, artificial intelligence, information theory, theoretical computer science

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

Kevin Karplus (Biomolecular Engineering)
Genome assembly from next-generation sequence data (Formerly protein structure prediction), signal processing and statistics for nanopore signals

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

Patrick E. Mantey (Computer Engineering; Technology Management)
Multimedia systems, digital signal processing, sensor systems and networks, real-time monitoring and control, image systems, image processing, visualization, geographic information systems, decision support systems

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

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

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

Noah Wardrip-Fruin (Computational Media)
Digital media, computer games, electronic literature, software studies

Jim Whitehead (Computational Media)
Software engineering, software evolution, software bug prediction, level design in computer games, procedural content generation

W. Todd Wipke, Emeritus (Chemistry and Biochemistry)

Revised: 09/01/17