Antonella Bilotta
Antonella-Bilotta
PhD Student in Logic at Scuola Normale. MA in Logic at UniFI. Interested in ITP, Modal logic, Proof Theory, Model theory, and Philosophy of mathematics.
Scuola Normale Superiore di Pisa Pisa, Florence and Turin
Cosimo Perini Brogi
logicosimo
Researcher in Theoretical Computer Science.
PhD in Mathematics and Applications.
MA in Logic.
Tuscany and nearby
Alien Mathematicians
jscarfy
Since mathematics is the same across this expanding universe for all species, we aliens 👽👽👽 have been trying to communicate with you humans via mathematics.
Junyan Xu
alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.
Heidelberg / Shenzhen
Langston Barrett
langston-barrett
Researcher with experience in functional programming, formal methods, programming languages, and security.
@GaloisInc Brooklyn