Reliable Systems Lab

Location NCS-342
Mission Develop improved methods for construction of correct, reliable, and secure computer systems.

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 Scott Stoller
Lab Web page