... Marco Carbone
Thomas Hildebrandt Rosario Giustolisi
Rasmus Ejlers Møgelberg…
Søren Debois Thomas Hildebrandt
Rasmus Ejlers Møgelberg, research interests: denotational semantics, category theory, type theory, computational effects, guarded recursion
Post. doc.'s Rosario Giustolisi
Hugo A. López
PhD students Peter Brottveit Bock, Logical Frameworks with Linear Logic. Supervisor: Carsten Schuermann.
Christian Uldal Graulund. Supervisor: Rasmus Møgelberg.
Jonas Kastberg Hinrichsen. Supervisor: Jesper Bengtson Håkon Norman. Supervisor: Thomas Hildebrandt.
Past Post. doc.'s
Graduated PhD students
Marco Paviotti, Denotational Semantics in Guarded Type Theory. Supervisor: Rasmus Ejlers Møgelberg. Co-supervisor: Jesper Bengtson.
Jian Wang. Supervisor: Carsten Schuermann.
... The PLS group conducts research in the theory of programming languages and logic. The aim of t…
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
Jorge Perez visits PLS, 25-26 June, 2018. Host: Agata Murawska and Marco Carbone
Graham Hutton visits PLS, 13-15 June, 2018. Host: Patrick Bahr