Software Engineering researcher; Associate Professor at UTFPR, Curitiba, Brazil. https://adolfont.github.io Posts mostly in English. #ElixirLang enthusiast (I also love #LeanLang, #LuaLang, #Erlang). Podcaster. My podcasts: @redeemilias.bsky.social

transfem nada engraçada, i do sillyous business. This is my personal account that I post mainly in PT/BR

Supporting the Formal Mathematics revolution

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain