Welcome to the homepage of the Programming, Logic and Semantics group at
ITU. The PLS group is one of the seven research groups at ITU (for the
others, please visit the research
section
of ITU's homepage).
Description
The PLS group conducts research in the theory of programming languages and logic. The aim of this research is to provide the tools allowing for future software to be safe, reliable and trustworthy, and the competences of the group span from mathematical modelling and reasoning to implementation of tools. The research interests of the group currently span the following areas: Logics for reasoning about programming languages, programming language design, proof assistants, type theory, denotational semantics, concurrency and security as well as applications of these topics to digital elections, business process modeling and other topics.
Recent and upcoming news
- The Independent Research Fund Denmark funds the project Probabilistic Session Types (PROBABILIST), 2025-2029. The project will fund one PhD student for 3 years. PI: Marco Carbone
- Alessandro Bruni visits Reynald Affeldt at AIST, Tokyo, March - May 2025, and Ekaterina Komendantskaya at University of Southampton. Sponsored by the Carlsberg Foundation project VeriFunAI (Verified Functional Analysis for Safe AI).
- Lyes Saadi (ENS Paris-Saclay) visits as intern Feb - July 2025. Host: Rasmus Møgelberg
- Dawit Tirore successfully defended his PhD Dec 12, 2024
- Marino Miculan (University of Udine) visits December 9-12. Host: Marco Carbone
- Nobuko Yoshida (University of Oxford) visits December 7-22. Host: Marco Carbone
- Nobuko Yoshida (University of Oxford) visits November 13-17. Host: Marco Carbone
- Pawel Sobocinski (TalTech) visits June 25. Host: Marco Carbone
- Giorgio Bacci (Aalborg) visits May 6-7. Hosts: Alessandro Bruni and Rasmus Møgelberg
- Natalia Slusarz (Heriot-Watt) visits April 22-25. Host: Alessandro Bruni
- Reynald Affeldt (AIST) visits March 23-20, 2024. Host: Alessandro Bruni
- Daniel Gratzer (Aarhus) visits, March 13, 2024. Host: Rasmus Møgelberg
- ITU hosts Types 2024, June 10-14. Organisers: Patrick Bahr, Marco Carbone, Rasmus Møgelberg
- Marco Carbone visits Oxford Feb-June, 2024. Host Nobuko Yoshida.
- Dawit Tirore visits Oxford Oct 2023-March 2024. Host Nobuko Yoshida.
- Mini-course Programming and Proving with Lean given by David Thrane Christiansen
Past news