AcId

439
reputation
2
12

Theoretical computer scientist working with formal methods.