Education
University of Glasgow2020 - present |
Doctor of Philosophy in Computing Science Studying for a PhD under supervisor Ornela Dardha. |
Aalborg University2018 - 2020 |
Master of Science in Computer Science Enrolled into the extra-curriculum Tech Talent programme. The thesis was about introducing a behavioural type system with protocols, to an object-oriented language. |
Aalborg University2015 - 2018 |
Bachelor of Science in Computer Science Bachelor thesis was about introducing session types to a low-level process calculus called Applied Pi-Calculus. The work was published at the workshop EXPRESS/SOS 2018 (see publications). |
Work Experience
Diroto2018 - present |
Co-Founder and Programmer Worked with lots of different programming technologies such as Python, Java and Web technologies (Angular 2+ with Typescript and React). Projects included a nation-wide marketing campaign for a large Danish company, that ran for 2 years as well as a SaaS platform for route optimisation and management for logistics companies. |
University of Glasgow2021 - 2022 |
Teaching Assistant I was a teaching assistant in the courses Programming Languages and Theory of Computation taught by Ornela Dardha in the spring semesters of 2021 and 2022. The first course is about the design and implementation of a compiler, and the second course is about the foundations of computing by working with the λ-calculus and the π-calculus. |
Aalborg University2019 |
Teaching Assistant I was a teaching assistant in the course Computability and Complexity taught by Hans Hüttel in the fall semester of 2019. It is a course about the foundations of Computer Science taught to 3rd year students of Computer Science and Software Engineering. |
Languages
Danish |
|
English |
|
Open Source Projects
Browser Extension2017 - present |
Owner and main contributor to an open source browser extension with around 500 active users, for enhancing the functionality of the online LaTeX editor Overleaf. It has been acknowledged by the company behind the editor. |
Voluntary Work
F-Klubben2017 - 2020 |
Member of FIT F-Klubben is a voluntary organisation of the students at the House of Computer Science at Aalborg University. FIT manages the POS system, mailing lists and other IT services for F-Klubben. |
Nordjyllands Inline Motionister2018 - 2020 |
Board Member and Trainer Board Member with responsibilities of managing the technical infrastructure of the club, as well as being a trainer for the other members. |
Tools and Technologies
Programming Paradigms |
Imperative Programming Much experience with object-oriented programming in Java and C#. Many years of experience with Python. |
Declarative Programming I have a lot of experience with SQL (MySQL), and also some experience with the functional languages Haskell and Scheme (Lisp). |
|
Web Technologies |
LAMP Stack I am very experienced with the LAMP (Linux, Apache, MySQL, PHP) stack for web development. For the frontend I have years of experience with HTML/CSS/Javascript and Typescript, using the two popular frameworks Angular 2+ and React. |
Publications
PPDP 2021[C2]2021 |
Papaya: Global Typestate Analysis of Aliased Objects Mathias Jakobsen, Alice Ravier, and Ornela Dardha. 23rd International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, New York, NY, USA, Article 19, 1–13. https://doi.org/10.1145/3479394.3479414 |
FTfJP 2021[W2]2021 |
Behavioural Separation with Parallel Usages Iaroslav Golovano, Hans Hüttel, Mathias Jakobsen, and Mikkel Kettunen. In Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2021). Association for Computing Machinery, New York, NY, USA, 51–58. https://doi.org/10.1145/3464971.3468424 |
APLAS 2020[C1]2020 |
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Steen Jakobsen, Mikkel Klinke Kettunen, Antonio Ravara. In Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings. Springer-Verlag, Berlin, Heidelberg, 105–124. https://doi.org/10.1007/978-3-030-64437-6_6 |
EXPRESS/SOS 2018[W1]2018 |
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 |