Formal Methods Websites

Alex Moreno, also known as moleike, is the creator of Scattered Space. Born and raised in Barcelona, Spain, Alex spent several years living abroad, including time in Taipei, Taiwan. Formally trained as an electrical engineer and working as a functional programmer, Alex has experience ranging from hardware design to building real-time streaming data pipelines and event-driven applications. Alex is interested in the interplay between theory and practice in programming, its relationship with mathematics, and formal methods. They enjoy exploring trends, tools, and techniques for reasoning about programs and building dependable software at scale. They also have a long-standing interest in logic and its applications.