Member since 4 months
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.