Super User Stack Exchange
Super User Stack Exchange

AcId
687
reputation
  • Aalborg, Denmark
  • Member since April 18 2013
  • 61 profile views
  • Last seen Aug 02 '23 at 07:56

Theoretical computer scientist working with formal methods.