Programming Languages Group

The Programming Languages Research Group conducts research in the area of the
theoretical foundations and formal semantics of programming languages,
program analysis and verification, and automated theorem proving. In
our work we use the methods of mathematical logic and
universal algebra as well as tools such as functional language
implementations and proof assistants. The research projects carried
out by the team concern the following topics: