CS Research Overview
Technical Reports:
2002| 2001| 2000| 1999| 1998| 1997| 1996| before 1996
Research Areas and Labs
The department has broad expertise across computer science, and five flagship research areas: Theory for Applications, Software Engineering, Interactive Systems, Computer Systems, and Computer Security. The research labs are:
- Army High Performance Computing Research Center-CS 118
- Center for Information Assurance
- The Constraint Research and Reading Group
- The CyberShare Center - Classroom Building, 4F
- HiPerSys Lab - CS 316-317
- Interactive Systems Group - CS 109
- Laboratory for Computation, Information and Distributed Processing
- Robust Autonomic Systems Lab - CS 318
- Software Specification and Verification Research Lab - CS 128
- Theory Research and Applications across Computer Science (TRACS) - CS 124-125
- Trust Group - CS 128
- Vision and Learning Lab (VLL) - CS 109D
Under the direction of Teller and Arunagiri, this lab, one of six AHPCRC labs nationwide, is addressing practical issues in the effective use of emerging high-performance computing technologies, in particular multi-core and many-core, in field-deployable and on-board systems.
Led by Longpre and Freudenthal, the Center has a portfolio of research projects in such areas as privacy-preserving databases and authentication and trust in distributed systems.
Ceberio's group works on problems in constraint solving and optimization.
This interdisciplinary center, directed by Gates and Romero, builds cyberinfrastructure to advance education, science, and engineering.
The research conducted in this lab, under the direction of Teller and Arunagiri, focuses on performance-enhancing adaptations, both static and dynamic, of applications, operating systems, runtime systems, and computer architectures in high-performance computing systems.
The ISG conducts research in models of interaction and the engineering of interactive systems. Novick and Ward.
CS 106 Under construction. Santos and Korah.
The Robust Lab, led by Freudenthal, examines techniques useful for constructing scalable, high-performance, autonomic, and secure online systems.
Cheon's lab does research to advance the practice of developing correct and reliable computer programs.
The TRACS group focuses on the development of theory for useful applications. Ceberio, Kreinovich, and Longpre.
Pinheiro and his students work on issues in knowledge representation and provenance as they arise in the semantic web and in scientific workflows.
VLL works in Machine Learning and its applications in computer vision and other areas. Fuentes.




