Alex has been practicing pure functional programming for over a decade. He has professional experience in computer graphics, full stack web development, blockchains and cryptocurrencies, computer network analysis and protocol design, and programming for embedded hardware. He is interested in dependent types, substructural type systems, embedded domain-specific languages, and their applications to the expression of real-world software solutions. He is also a Nix enthusiast and compulsive NixOS user. He holds a degree in mathematics and computer science from McGill University in Montreal, where he continues to live and work.