The Programming, Logic, and Semantics group (PLS) at ITU

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).


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 compentences 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

  • Bas Spitters visits PLS, March 24, 2016. Host: Rasmus Møgelberg
  • Rasmus Møgelberg organises a seminar on models of type theory in Spring 2017.
  • Rosario Giustolisi joins the PLS group as a postdoc working with Carsten Schurmann. February 2017.
  • Graham Hutton visits PLS, December 6-9, 2016. Host: Patrick Bahr
  • Alex Simpson and Nick Benton visit PLS, October 13, 2016. Host: Rasmus Møgelberg
  • Nobuko Yoshida, Julien Lange and Bernardo Toninho visit PLS, August 15-19, 2016. Host: Marco Carbone.
  • Michael Denzel visits PLS, June 9-10, 2016. Host: Alessandro Bruni.
  • Peter Ryan visits PLS. April 11 - August 14 2016. Host: Carsten Schürmann.
  • Hans Bugge Grathwohl visits March 16-18, 2016. Host: Rasmus Møgelberg.
  • Rasmus Møgelberg has been awarded a Villum Young Investigator grant for the project Type Theories for Reactive Programming. The grant is 6.4 mill. DKR and the project will run for 5 years.
  • Alessandro Bruni joins the PLS group as a postdoc with Carsten Schurmann. January 3rd, 2016.

Older news