Kiran Gopinathan
kiranandcode
Researcher working on proof repair and maintenance
Research Scientist NYC
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Luigi Mangione
lnmangione
M.S.E. and B.S.E. in Computer Science @ University of Pennsylvania
AppRoar Studios
IMDEA Software Institute
imdea-software
Madrid Institute for Advanced Studies in Software Development Technologies
Campus Montegancedo s/n 28223, Pozuelo de Alarcon, Madrid, Spain
Matteo Durante
waifod
Mathematician and SDE / Interested in homotopical stuff, probability, low level programming, performance and free software
Amazon Madrid (ES)
Federico Tomassetti
ftomassetti
Language Architect and Founder of Strumenta. We are specialized in language engineering: language migrationDSLs, design languages, parsers, editors, interpreter
Strumenta Turin, Italy
Daniel Eduardo Contro
danielcontro
PhD Student in Computer Science @ University of Birmingham
University of Birmingham Birmingham
Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
PreviousNext