The Applied Logic and Security (ALAS) Lab in the Department of Computer Science at Worcester Polytechnic Institute (WPI) explores various problems related to logic, software engineering, software verification, security policy, network security, cyber-physical systems security, and programming languages.
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: Send email to "alas [at] cs.wpi.edu" to learn our meeting time for the current semester.
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: Send email to "alas [at] cs.wpi.edu" to learn our meeting time for the current semester.
