The Cake Lab in the Department of Computer Science at WPI explores various problems related to security policy, network security, cyber-physical systems security, programming languages, logic, software engineering, and software verification.
Our projects make sense of computing problems, figure out how to describe complex system behaviors in useful ways as programs and for human end users, and build software tools that make programs more reliable and secure.
Group Meetings: All are welcome. Sign up here to learn about group meeting dates and times.
