Computer Science
2015-16 General Catalog
Baskin School of Engineering
(831) 459-2158
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, web programming, concurrency, verification, type systems, dynamic analysis
Lise Getoor
Machine learning, reasoning under uncertainty, analysis of graphs and networks, artificial intelligence, databases, information integration, visual analytics, data science
David P. Helmbold
Machine learning, computational learning theory, analysis of algorithms
Harry D. Huskey, Emeritus
Phokion G. Kolaitis
Baskin 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
Darrell D. E. Long
Kumar Malavalli Endowed Chair in Storage Systems
Data storage systems, distributed computing, operating systems, performance evaluation, reliability, cyber security, data science, multimedia
Charles E. McDowell
Programming languages, parallel computing, and computer science education
Ethan L. Miller,
Symantec Presidential Chair for Storage and Security
Archival storage; non-volatile memory and next-generation storage; storage security and reliability; file system metadata and search, computer security; scalable and distributed systems
Alex T. Pang
Uncertainty visualization, tensor visualization, scientific visualization, comparative visualization, collaboration software, virtual reality interfaces
Ira Pohl, Emeritus
Wang-Chiew Tan
Data management, data integration and exchange, data provenance, crowdsourcing, and scientific databases
R. Michael Tanner, Emeritus
Allen Van Gelder
Logic programming algorithms, parallel algorithms, complexity, programming languages, automated theorem proving, scientific visualization
S.V.N. Vishwanathan
Analysis of algorithms, optimization for machine learning, structural prediction
Marilyn Walker (joint with Computational Media)
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
Assistant Professor
Seshadhri Comandur
Sublinear algorithms, theoretical foundations for massive data, social network analysis
Acting Assistant Professor
Peter Alvaro
Data management systems, distributed systems, logic programming
Visiting Professor
Neoklis Polyzotis
Databases, online database turning, crowdsourcing, and scientific data management
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
Linda Werner
Software engineering, computer science education, children and computer game creation, testing, increasing diversity in computer science
Associate Adjunct
Balder ten Cate
Data management, logic, algorithms, and complexity
Thomas Schwarz
Reliability and security in storage systems
Lecturer
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 (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; Technology Management)
Jack Baskin Chair of Computer Engineering
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
Arnav Jhala (Computational Media)
Artificial Intelligence: storytelling in games, intelligent machinima generation, smart graphics, and intelligent user interfaces
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)
Jack Baskin Chair of Computer Engineering
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
E. James Whitehead Jr. (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/15
