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 "Functional Programming Ideas for the Curious Kotliner", "Practical Haskell", the "Book of Monads", and "Haskell (Almost) Standard Libraries".