Ph.D. students

Current:

Filip Sieczkowski (co-advised with P. Sestoft)

Hannes Mehnert (co-advised with P. Sestoft)

Jonas Braband Jensen (co-advised with P. Sestoft)

Alexandre Buisse

Kasper Svendsen

Completed:

Jacob Thamsborg Denotational Logical Relations and Friends. (post. doc. at ITU).

Troels C. Damgaard: Developing Bigraphical Languages. (Edlund)

Ebbe Elsborg: Bigraphs: Modelling, Simulation, and Type Systems. (Geosystems)

Bodil Biering: Dialectica Interpretations: A Categorical Analysis. (Edlund)

Soren Debois (co-advised with Thomas Hildebrandt): Sortings and Bigraphs. (Post.doc. at ITU.)

Nina Bohr: Advances in Reasoning Principles for Contextual Equivalence and Termination. (Danish National Bank)

Rasmus Lerchedahl Petersen: Abstractions with Reasoning Principles via Denotational Semantics. (Post.doc. at Queen Mary, University of London, UK)

Noah Torp-Smith: Advances in Separation Logic. (Maconomy)

Rasmus Moegelberg: Categorical and Domain-theoretic Models of Parametric Polymorphism. (Steno Researcher at ITU)