Research

Faculty and students in the Computer Science Department are engaged in a wide range of research topics. This page is just an overview of the research being done in the department; please visit the web pages for individual research groups for more detailed information.

Algorithms, Logic and Complexity

The goal of theoretical computer science is to understand the underlying principles of information processing, principles that are invariant with respect to technological change.

Faculty

Computer Security

Faculty

Computer Systems & Storage

The ever-increasing demand for faster, more powerful computer systems requires the coordinated development of many interdependent technologies. Modern computer systems, with their parallel and distributed components, cannot be designed or used effectively without full consideration of hardware, software, and their combination. Research at UCSC is addressing issues of fundamental significance to the development of future computer systems.

Faculty

Research

Database Systems

Faculty

Research

  • Database Research at UC Santa Cruz
    The Database Group conducts research on many issues related to database systems. Current research projects include data provenance, information integration, self-tuning systems, approximate query answering, and are funded by the National Science Foundation and IBM.

Graphics, Animation and Scientific Visualization

Faculty

Research

Machine Learning and Artificial Intelligence

Machine learning (ML) and Artificial intelligence (AI) address the challenging task of developing systems whose behavior may be learned by machines and termed intelligent. AI techniques have been applied to problem domains including natural language processing, robotics, expert systems, automatic programming, combinatorial problem solving, perceptual problems, computer vision, image processing, and geo-spatial visualization. Despite the diverse nature of these domains, they all benefit from AI methodologies developed for knowledge representation, efficient search, deduction, and learning.

Faculty

Research

  • Machine Intelligence Lab
    The Machine Intelligence Lab studies broad spectrum of foundational issues in computational intelligence. For some active topics, please see http://soe.ucsc.edu/classes/cmps240/.

Programming Languages

Research in this area is concerned with the design and analysis of programming languages. This research includes investigations of core topics, such as type systems, and also deals with applications in software engineering and security. It combines theory (often based on methods from logic) and experimental work (often overlapping with software engineering).

Faculty

Research

Software Engineering

Our research focuses on developing tools and techniques for improving the reliability and evolution of large software systems. Specific areas of interest include software defect detection (especially concurrency analyses), software bug prediction, software evolution, programming languages, computer security, type systems, pair programming, and automatic construction of software systems.

Faculty

Research