Worcester Polytechnic Institute
  • Home
  • Team
  • Publications
  • MQP
  • Contact
Picture
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.



Location: B17 Fuller Labs, Dept. of Computer Science, WPI

Powered by Create your own unique website with customizable templates.