Principal Research Software Engineer at Microsoft Research - Let TLA+ (in) RiSE @ MSFT
hansenerd @[email protected]
syseng • CCCHH • he/him er/ihn
mail: [email protected]
xmpp: [email protected]
matrix: @cg:zknt.org
fedi: @cg
• I'm also @tercean
• running pixelfed.de for fun and no profit