131
reputation
1

Patrick Nicodemus

I am a PhD student in the mathematics program at University of Wisconsin-Madison. I am interested in categorical logic, type theory, and topos theory.

  • University of Wisconsin-Madison, Van Vleck Hall, Madison, WI, USA
  • Member for 2 years, 8 months
  • 0 profile views
  • Last seen 3 hours ago