Mathias Steen Jakobsen

Currently, as I am working from home, the best way to reach me is by email on 

Research title: Aliasing Control in an Object-Oriented Programming Language with Typestate Annotations

Publications

  1. Context-Free Session Types for Applied Pi-Calculus. Jens Aagaard, Hans Hüttel, Mathias Jakobsen and Mikkel Kettunen. Published in Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, Beijing, China, September 3, 2018. http://dx.doi.org/10.4204/EPTCS.276.3

  2. Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen, and António Ravara. Published in: Oliveira B.C..S. (eds) Programming Languages and Systems. APLAS 2020. Lecture Notes in Computer Science, vol 12470. Springer, Cham. https://doi.org/10.1007/978-3-030-64437-6_6

Supervisors