I’m a Software Engineer interested in distributed systems and formal methods.