Reliable Systems Lab

Location 342 Computer Science
Mission Develop improved methods for construction of correct, reliable, and secure computer systems.
Details

Research in the Reliable System Lab spans a variety of topics, including: computer security, especially analysis, learning, and enforcement of security policies, and software diversity for security; specification and verification of software, especially software for distributed systems; program analysis and optimization, especially optimizations based on incremental computation; and runtime monitoring, especially runtime assurance for embedded systems.

Coordinator
Lab Web page