About

Contact

laumann[at]fastmail.com

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)
Online

I don't do social media much. In my opinion "social media" should be considered bad, even as a term.

Free and Open Source Software

I support the Free Software movement and FSF, and believe the Open Source way of developing software is the path of the future.

Programming

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
  • Subversion
  • Eclipse
  • Gerrit
  • Bitbucket
  • Keybase
  • Jenkins
  • Selenium
  • Jira

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

Operating Systems

For my daily system I now use Gentoo Linux. Others I have used and am familiar with:

  • Manjaro Linux
  • Linux Mint
  • Ubuntu