Hi, I'm Michiel Huttener

Background

I studied mathematics at UGent and obtained my PhD My thesis was about problems and conjectures in functional analysis. there as well, in a joint project with VUB. I’m currently living in Ghent, Belgium.

Feel free to contact me via:
Mail (<github handle>@protonmail.com) | Github | Linkedin

Natural Languages

Dutch (native speaker) | English (C1) | German (B2) | French (B1)

Programming Languages

• I have (varying degrees of) experience with:
  Haskell | Lean | Nix | Java | Python | Julia | R | SQL
• At some point, I’d like to look into:
  C | Rust | OCaml | APL | Lisp

General Interests

• Functional Programming & Type Theory
• Verifiable & Reproducible Software
• Learning new things I’m currently learning German and playing around with Lean.

Open Source Software

In my spare time, I contribute to open source development. Among the projects I have worked on are:

• LearnLaTeX
  This website aims to help you take the first steps with LaTeX, a document preparation system designed to produce high-quality typeset output.

• lean-regex
  A formally verified regular expression engine for the Lean programming language.