Alex is a senior software engineer with extensive knowledge of security, distributed computing, and decentralized systems. He holds a Master of Mathematics degree in Computer Science from the University of Waterloo (Canada), where he worked on techniques for design exploration and optimization in satisfiability-related problems.