Mathematics Stack Exchange
Mathematics Stack Exchange

Ed Ayers
246
reputation
  • United Kingdom
  • Member since June 10 2011
  • 14 profile views
  • Last seen Jan 04 '22 at 15:11

PhD student studying automated reasoning.