Software engineer primarily interested in formal methods and distributed systems. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.