The Analysis of Computer Systems (ACSys) group works in formal methods, programming languages, and verification. The aim of ACSys is to study, understand and, advance the techniques of formal methods and logic to develop frameworks for proving correctness of software.

The long-term goal of ACSys is to increase the reliability of hardware and software systems by providing tools and techniques for the analysis of these systems. The activities and interests of ACSys cover a broad spectrum, from the study of mathematical foundations in programming languages and logic, to the implementation of verification tools and the application of these tools for proving the correctness of computer systems.