Freelance software engineer focused on formal methods & distributed systems, with an intensive side-interest in quantum computing. TLA⁺ enthusiast!
Living in Atlanta, GA, USA. Non-technical hobbies include BJJ, birdwatching, and mushroom foraging.
Other random facts: vim user, tea drinker, cyclist, living kidney donor, vegetarian, hoping for a 2000 watt society! he/him
Previously: https://fosstodon.org/@ahelwer
This profile is from a federated server and may be incomplete. Browse more on the original instance.