CS Research Overview

Image Gallery

gallerypic gallerypic gallerypic gallerypic gallerypic

Technical Reports:


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
  • 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.

  • Center for Information Assurance
  • 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.

  • The Constraint Research and Reading Group
  • Ceberio's group works on problems in constraint solving and optimization.

  • The CyberShare Center - Classroom Building, 4F
  • This interdisciplinary center, directed by Gates and Romero, builds cyberinfrastructure to advance education, science, and engineering.

  • HiPerSys Lab - CS 316-317
  • 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.

  • Interactive Systems Group - CS 109
  • The ISG conducts research in models of interaction and the engineering of interactive systems. Novick and Ward.

    CS 106 Under construction. Santos and Korah.

  • Robust Autonomic Systems Lab - CS 318
  • The Robust Lab, led by Freudenthal, examines techniques useful for constructing scalable, high-performance, autonomic, and secure online systems.

  • Software Specification and Verification Research Lab - CS 128
  • Cheon's lab does research to advance the practice of developing correct and reliable computer programs.

  • Theory Research and Applications across Computer Science (TRACS) - CS 124-125
  • The TRACS group focuses on the development of theory for useful applications. Ceberio, Kreinovich, and Longpre.

  • Trust Group - CS 128
  • Pinheiro and his students work on issues in knowledge representation and provenance as they arise in the semantic web and in scientific workflows.

  • Vision and Learning Lab (VLL) - CS 109D
  • VLL works in Machine Learning and its applications in computer vision and other areas. Fuentes.