Main content start Robinson Erhardt Cohort 2022 Robinson Erhardt researches symbolic logic and the foundations of mathematics.