Egbert Rijke

Johns Hopkins University

• Introduction to Abstract Algebra. Spring 2026 [Course page]
• Elementary Number Theory. Fall 2025 [Course page] [Course notes (webpage)]
• Elementary Number Theory. Spring 2025 [Course page] [Course notes (webpage)]
• Introduction to Proofs. Fall 2024

Carnegie Mellon University

• Introduction to Homotopy Type Theory. Carnegie Mellon University, 80-518/80-818, Spring 2018. [Course Page] [Course notes]

Online

• HoTTEST Summer School 2022. Online course on homotopy type theory and formalization of mathematics in Agda. July–August 2022. Summer school website website

  This summer school was organized by Carlo Angiuli, Dan Christensen, Martín Hötzel Escardó, Chris Kapulkin, Dan Licata, Emily Riehl, and myself to promote diversity within the field of Homotopy Type Theory. With over 2000 participants, it was a huge success.