Stack Exchange
Stack Overflow
Questions
Tags
Users
About
Stack Overflow
Public
Questions
Tags
Users
About
AcId
439
reputation
2
12
Aalborg, Denmark
Member since
September 14 2012
53 profile views
Last seen
Jun 02 '22 at 17:39
Theoretical computer scientist working with formal methods.