233
reputation
1
2

AcId
Loading…

Theoretical computer scientist working with formal methods.