Programming languages are the sine qua non of computing. We study their principles, semantics, and pragmatic aspects.

Formal models of programmable systems are the basis for formal reasoning about properties of e.g. correctness, efficiency, and security.

Research Topics

Our group covers the following main topics:

• Semantics of programming languages
• Program analysis and transformations
• Interpreters, compilers, and abstract machines
• Concurrency and embedded systems
• Global computing, mobility, and security
• Domain-specific languages
• Specification and verification of software
• Type systems

Some of these topics are covered also by other research groups at DAIMI, from different perspectives.

Programming Languages Seminar: The regular meetings of the Programming Languages and Formal Models group. 

This seminar supersedes the pi-lambda Seminar.