Vladimir Gladshtein
volodeyka
I do formal verification with interactive theorem provers
National University of Singapore Singapore
Luigi Mangione
lnmangione
M.S.E. and B.S.E. in Computer Science @ University of Pennsylvania
AppRoar Studios
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Bruno Paiva
brunorochapaiva
PhD student in Computer Science at the University of Birmingham
University of Birmingham Birmingham, UK
Robert Zhang
robertzhidealx
Research Fellow @theorem-labs | CS PhD @ UT Austin | Formerly BS/MS @ Johns Hopkins, Intern @facebook
San Francisco
Gary Klimowicz
gklimowicz
Converting shallow understanding to misunderstanding since 1955.
Dancing Bear Software Portland, OR
Idan K
idankdev
Computer Science M.Sc. student.
Deep Learning, Natural Language Processing, Meta Learning
Taub Faculty of Computer Science, Technion Haifa