Matthias started programming with C on microcontrollers, but during his BSc in Computer Engineering he encountered Haskell and fell under the spell of immutability, purity and principled abstraction.
After spending some time writing Haskell in industry, he studied Computing Science at Utrecht University to expand his understanding of algorithms, programming language theory, compilers, dependent types and formal verification. For his MSc thesis, he used Agda to perform program transformations that are type- and scope-correct by construction.
Matthias likes to share his passion for functional programming, for example as a teaching assistant, organizer of Haskell meetups and giving conference tutorials.