Work

Please reach out if you have any interesting projects and we can talk!

This page is currently under construction! In the near future it will contain more information about me, my skills and how to hire me.

I have experience and passion for various fields around computer science. From infrastructure with Nix, training, functional programming to web development. You can find various projects of mine on my GitLab.

Contact

Shoot me an email at or take a look at the contact information on the home page if you have any questions or ideas for projects you would like me to work on with you.

What I Do

This section is work-in-progress.

I focus on four main areas of expertise.

Infrastructure

I use Nix & NixOS to create reliable, declarative & reproducible computing infrastructure. This includes servers and networks, but also development environments, dependency management, CI/CD and DevOps. I know my way about things like Docker, Ansible and general Linux system administration as well. I self-host this website and a collection of web services, and I help administrate the web services the computer science student body at my university provides as a volunteer.

Training

I’m passionate about passing on knowledge and skills to other people. My goal is to show why a topic is fascinating and provoke curiosity, and then use that motivation to help people gain a deep understanding of the material through vivid examples, explanations on eye level and of course practical exercises – trying things out yourself is the best way to really get into a topic in an engaging way.

Contact me if you need someone for things like talks, workshops, seminars or learning materials for your company, team or event.

Software Engineering

I focus on functional programming and type systems in general to help me create reliable high-quality software, but I know my way around a wide collection of programming languages, frameworks and technologies. The programming languages I’m most comfortable in are Haskell, Python and Scala. I’m proficient in formal methods and proof assistants, which can be used to define and verify critical systems.

Research

As an university-trained computer scientist I know how to gather, compile and evaluate information. For example, if you’re looking for an independent evaluation of an interesting technology you’re considering using, I can compile a dossier about it, its pros and cons, and possible use cases in your organization.

Skills

This section is work-in-progress.

Skills I have a particular interest in working with are marked with a star ★.

Programming Languages

I have skills and experience in a wide array of programming languages. The languages I’m most proficient in are:

Web, Technologies & Frameworks

Tools

Infrastructure

Computer Science

Languages

Projects

Soon, see my GitLab until then

CV

This section is work-in-progress.

Work

Education

Volunteer Activities

Soon

Awards & Distinctions

Soon