Welcome
to the homepage of the >>=Programming, Logic and Semantics==> group at ITU. The PLS group is part of the Theoretical Computer Science section at ITU.
About
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.
Latest News
Visit
Alistair Sirman and Joshua Smart (University of Southampton) visit PLS in August 2025 sponsored by the DDSA travel grant. Host: Alessandro Bruni
DFF grant
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
Visit
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).