Stack Exchange
Stack Overflow
Questions
Tags
Users
About
Stack Overflow
Public
Questions
Tags
Users
About
AcId
458
reputation
2
12
Aalborg, Denmark
Member since
September 14 2012
55 profile views
Last seen
Sep 01 '23 at 13:43
Theoretical computer scientist working with formal methods.