Pietro Monticone
Informal Mathematics @UniTrento || Formal Mathematics @Harmonic || Formalising in #Lean || Developing #FOSS in #Python and #Julia || Forecasting @Metaculus.
• GitHub: https://github.com/pitmonticone
• YouTube: https://www.youtube.com/@PietroMonticone
@wtgowers.bsky.social
Mathematics professor at Collège de France and fellow of Trinity College Cambridge.
@logicmatters.bsky.social
Recovering philosopher, but still interested in logic and abstract nonsense (and music). Occasionally blogs at logicmatters.net
@patrickshafto.bsky.social
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@archernikov.bsky.social
Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc. chernikov.me
@rvalperga.bsky.social
PhD student at UVA 🇳🇱. ML & Dynamical Systems are my thing. Currently intern at ServiceNow 🇨🇦.