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