Education

  • MsC in Computer Science from Copenhagen University
    • Project: Implementing Base Change without Space Change. An implementation of the SOLE encoding scheme (code)
    • MsC Thesis: Practical Session Types for Rust (code, pdf)
  • BsC in Computer Science from Ã…rhus University

Papers

  • Session Types for Rust (with Philip Munksgaard and Ken Friis Larsen) WGP'15 (pdf)

I love programming. My interests in Computer Science are rather broad, but one of my chief interests is programming languages. The study and implementation of programming languages is extremely interesting. I have experience working with and studying the following list of languages:

Software

  • vim
  • Emacs
  • Zsh
  • Git
  • Docker
  • Mutt
  • VirtualBox
  • Gerrit
  • Bitbucket
  • Keybase

For software I use Emacs, vim, Zsh, git. I follow the development of some software projects, notably Linux, git and tig.

Free Software Foundation

I support the philosophy of FLOSS (Free/Libre and Open Source Software), the FSF and the FSFe.

Operating Systems

My daily driver is Gentoo Linux. I just love compiling things.

I admire Plan 9 from Bell Labs, the dedication to simplicity is so impressive and the software community (at least the FOSS community) owe many great things to the creators of Plan 9.