Super User
Super User

AcId
687
reputation
  • Aalborg, Denmark
  • Member since April 18 2013
  • 63 profile views
  • Last seen Aug 08 '24 at 18:59

Theoretical computer scientist working with formal methods.