Mathematics Stack Exchange
Mathematics Stack Exchange

AcId
193
reputation
  • Aalborg, Denmark
  • Member since May 22 2013
  • 12 profile views
  • Last seen Aug 08 '24 at 21:10

Theoretical computer scientist working with formal methods.