User AcId - Super User Stack Exchange

AcId

687

reputation

4

12

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.