Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
Kadanstsev Georgii
FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic
Saint Petersburg, Russia
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Nicky García
kotoromo
Math student at UNAM.
I really like category theory, homotopy type theory and computer proof assistants. I'm also a data science enthusiast.
Mexico City
Gleb Krasilich
GlebChili
HSE University Alumnus (Mathematics MSc '23 and BSc '21). Mathematical Logic, Type Theory, and Computer Science.
Fernando Chu
FernandoChu
Math, logic and programming, I like them all the same.
Utrecht, Netherlands
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Ricardo Lopez
LuisRicardoLopezVillafan
Mathematician with a Master's degree in Computer Science and Engineering / Matemático y Maestro en Ciencia e Ingeniería de la Computación de la UNAM.
UNAM Mexico City, Mexico
Gewenxin Yu
ST-48-1240162
audio signal processing, bioacoustics, machine learning and computer music.
Shanghai
PreviousNext