Alejandro is a developer and trainer specialized in functional programming. He has more than a decade of experience using and researching on functional programming, formal verification, and static analysis. He holds a PhD from Utrecht University on the topic of compilers for domain-specific languages. He is the author of Practical Haskell, the Book of Monads, Haskell (Almost) Standard Libraries, and Functional Programming Ideas for the Curious Kotliner.