Institution. Topos Institute

link · topos.institute · ROR

People

David I. Spivak davidispivakSenior Scientist and Institute Fellow · Topos Institute
PhD advisorPeter Teichner
PhDUniversity of California, Berkeley
UndergraduateUniversity of Maryland, College Park
dspivak.net · 0000-0002-9326-5328

David Jaz Myers davidjazmyersResearch scientist · Topos Institute
PhD advisorEmily Riehl
PhDJohns Hopkins University
UndergraduateOberlin College
davidjaz.com · https://github.com/DavidJaz

Valeria de Paiva valeriadepaivaPrincipal Research Scientist · Topos Institute
vcvpaiva.github.io · vcvpaiva

Formerly here

CB Aberle cbaberlePhD · Carnegie Mellon University
PhD advisorFrank Pfenning
UndergraduateUniversity of Oxford
cbaberle.com · 0009-0006-6271-2718

Harrison Grodin harrisongrodinPh.D. student, Principles of Programming group · Carnegie Mellon University
PhD advisorRobert Harper
UndergraduateCarnegie Mellon University
harrisongrodin.com · 0000-0002-0947-3520 · https://github.com/HarrisonGrodin · @HarrisonGrodin@mathstodon.xyz
topos-institute institution entries/institutions/topos-institute.hel