Unix and Linux Stack Exchange
Unix and Linux Stack Exchange

AcId
174
reputation
5
  • Aalborg, Denmark
  • Member since April 10 2013
  • 5 profile views
  • Last seen Jan 09 '23 at 09:20

Theoretical computer scientist working with formal methods.