Summer research positions for USD students are often available in our group! Contact Dr. Shulman for more information. Past projects have included:

• Summer 2023: Adjoining Adjoints to a 2-Category
  • Students: David Beck, Alexandra Fant, Lucy Gustafson, Tyler Lendman, Sebastian Poli, Genevieve Nguyen
• Summer 2022: Agda Experiments in Higher Observational Type Theory
  • Students: Alexandra Fant, Flynn Fayman, Tyler Lendman
• Summer 2021: Implementing New Equations for Neutral Terms
  • Students: Flynn Fayman, Andrew Kirrane
• Summer 2016: Formalizing the Surreal Numbers in Lean
  • Students: Kendal Karch, Macklan Weinstein