We are always looking for outstanding students in all of our research areas. However, below you will find a list of specific areas of research we are recruiting for this year. If you have any questions about the information you find on this site, please feel free to contact the graduate advisor, Jackie DeBoard.
If you are interested in interdisciplinary research, several faculty members from the BioFrontiers Institute at CU are looking for computer science students to work in their labs. Check out their research page and contact faculty members directly. Interested students are also welcome to join the BioFrontiers Student Group.
Computer Science also participates in the BioFrontiers Institute’s Interdisciplinary Quantitative Biology (IQ Biology) program, which offers a two-year fellowship, a diverse interdisciplinary experience, and a certificate upon completion of your PhD. Students apply to IQ Biology when they apply to CU-Boulder for graduate school.
We are looking for strong multidisciplinary students who want to use their computational expertise to unlock the secrets of life itself, on scales ranging from single molecules within the cell to microbes across the planet and over billions of years of evolutionary time. Contacts: Aaron Clauset, Robin Dowell, Debra Goldberg, Larry Hunter, Rob Knight.
Seeking student collaborators interested in exploiting the vast quantities of data now available to develop computational models that provide insight into human learning and decision making, complex social and biological interactions, nonlinear physical systems, natural languange processing, and the design of software systems. Modeling approaches used by the group span machine learning techniques, network analysis, chaos theory, dynamical systems, and probabilistic (Bayesian) models. Contacts: Elizabeth Bradley, Aaron Clauset, Qin Lv, James Martin, Michael Mozer, Martha Palmer.
We are looking for students with focus on high-performance computing including parallel, cluster, grid and cloud computing systems, emerging parallel architectures, and scientific application development (e.g., climate modeling). We are also seeking students with interest in the mathematics and software underlying scientific computing--numerical methods for partial differential equations, computational optimization methods, numerical linear algebra, nonlinear dynamics, and numerical software systems. Contacts: Elizabeth Bradley, Richard Byrd, Xiao-Chuan Cai, Elizabeth Jessup, Henry Tufo.
We are looking for students in the area of computer systems, including distributed and network computing, computer architecture and compilation for novel architectures, software radio, network and system security as well as privacy and other topics in Internet systems. Computer systems research focuses on all aspects of building innovative computer systems, spanning from traditional computing tasks to mobile systems, wireless and sensor networks, large scale data systems and Internet systems. Contacts: Dirk Grunwald, Richard Han, Eric Keller, Qin Lv, Shivakant Mishra, Douglas Sicker.
We are looking for student who are interested in exciting topics including the design, modeling, verification and monitoring of cyber-physical systems. Specific topics include analysis of hybrid systems, certification of control software, human-factors for CPS and networked CPS. Contacts: Bor-Yuh Evan Chang, Dirk Grunwald, Qin Lv, Sriram Sankaranarayanan, Li Shang.
We are looking for students interested in research on human-centered computing. We conduct research in social computing, health informatics, computer supported cooperative work, human-computer interaction (HCI), computer supported cooperative learning, graphical programming, digital libraries, digital divide, broadening CS participation, computer animation, game programming, universal design, web engineering, hypermedia, crisis informatics and more. Interdisciplinary research has been a hallmark of HCC research at CU. Our research and education is enhanced by many interdisciplinary programs, supporting collaborations in cognitive science, the arts and humanities, as well as in the natural sciences and engineering, and in public policy. We also benefit from Boulder's concentration of high-tech industry and its lively startup community. Contacts: Ken Anderson, Mike Eisenberg, Gerhard Fischer, Clayton Lewis, Leysia Palen, Alexander Repenning, Tamara Sumner, Tom Yeh.
We are looking for strong students to join our diverse and dynamic group in programming languages and verification. Our group has active projects in areas such as static and dynamic program analysis and verification; analysis of hybrid and embedded systems; analysis for dynamic, web languages; programmer productivity tools and program synthesis; type systems. Contacts: Professors Pavol Cerny, Bor-Yuh Evan Chang, Dirk Grunwald, Sriram Sankaranarayanan, Fabio Somenzi.