• Studying mathematics at the University of Trento, Italy.
• Formalising mathematics using the #Lean proof assistant. 
• Developing free open source software in the #Julia programming language.

Postdoc at Purdue. PhD in CS. Programming languages and compilers. Julia, Haskell.

#NeuroAI Scholar @ CSHL

Maintaining #FluxML (#JuliaLang) to procrastinate

Previously EE PhD at UW-Madison, Comp. Eng. / math at Rose-Hulman

distributed computing for HEP
thinks teaching is important
does stuff behind the scenes for roller derby
sometimes writes pretentious essays about RPGs, SF or video games
always picked trichords in SimEarth

fan of Ⓐ #raspi #burningwheel
mostly 🅭🅯🄎

Zine Crisis Mutual Assistance Group: zinesters helping zinesters! Run by @eveharmsposts
w/ help from members of Zine Crisis Discord founded by Julia Gfrörer