Mathias Jakobsen

Computer Scientist, Programmer and Web Developer.

Education

Aalborg University

2018 - present

Master of Science in Computer Science

Accepted into the extra-curriculum Tech Talent programme. In this programme I am working with my supervisor Hans Hüttel on current research topics on session type theory.

Aalborg University

2015 - 2018

Bachelor of Science in Computer Science

Bachelor project 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).

Silkeborg Tekniske Gymnasium

2012 - 2015

Higher Technical Examination

Work Experience

Kodido

2018 - present

Co-Founder and Programmer

Worked with lots of different programming technologies such as Python, Java and Web technologies (Angular 2+ with Typescript).

Pro-Fitness

2011 - 2015

Receptionist

Work included sales, customer contact, and problem solving. I also made small utilities for automating repetetive tasks.

Open Source Projects

Chrome Extension

2017 - present

SLext

Owner and main contributor to an open source Google Chrome extension for enhancing the funcitionality of the online text editor Overleaf.

Voluntary Work

F-Klubben

2017 - present

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 Motionister

2018 - present

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

  • Linux (Ubuntu, Arch Linux)
  • Python
  • Jetbrains IDEs
  • MySQL
  • Typescript (Angular 2+)
  • Java
  • Django
  • C#
  • Functional Programming
    (Haskell, Scheme)

Publications

EXPRESS/SOS 2018

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

Interests

  • Linux
  • Open Source
  • Operational Semantics
  • Inline Skating