Stack Overflow
Stack Overflow

Andreas Abel
190
reputation
1
11
  • Munich, Germany
  • Member since November 12 2012
  • 49 profile views
  • Last seen Apr 15 '23 at 09:59

Senior lecturer at Gothenburg University and Chalmers.

One of the implementors of the Agda programming language.