Education

(Coming soon.)

PhD in Computer Science (Ongoing)

• Institution: Department of Informatics at the University of Oslo (IFI/UiO)
• Advisors: Eric Bartley Jul and Michael Kirkedal Thomsen
• Study years: 2017-now

PhD in Computer Science (Incomplete)

• Institution: Department of Computer Science at the University of Copenhagen (DIKU)
• Advisors: Ken Friis Larsen and Fritz Henglein
• Study years: 2015-2017

MSc in Computer Science

• Institution: Department of Computer Science at the University of Copenhagen (DIKU)
• Study years: 2012-2015

BSc in Computer Science

• Institution: Department of Computer Science at the University of Copenhagen (DIKU)
• Study years: 2009-2013

Notable Projects

BSc Project

• Title: Termination analysis of first order programs
• Year: 2012
• Grade: 12 (A)
• Supervisor: Jakob Grue Simonsen
• Summary: I got acquainted with size-change termination (due to Neil D. Jones), and implemented a small first order programming language in Haskell with a size-change termination checker. Inspired by both functional programming and soviet-era ternary (rather than binary) computer architectures, the language used doubly (rather than singly) linked lists as a basic data structure.
• Report
• Slides
• Implementation