Freelance software engineer focused on formal methods & distributed systems. 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
Reputation
0
Profile views
1
Joined
Last Online