Auke Booij

Auke Booij

Haskell Engineer
location_on Switzerland

Member since 4 months


Auke Booij

Specialises In
applying-fp functional-programming haskell monads

Auke Booij’s expertise lies in the interface between theory and practice of functional programming. He has a PhD on the subject of Homotopy Type Theory and is currently a Haskell Engineer at Hasura, where he applies theoretical techniques to develop a next-generation data access layer.

Auke has lectured at the University of Birmingham, and taught programming both in academic and industrial settings. Through a patient, respectful approach, he helps engineers develop their own understanding and reach moments of insight.