AcId

687
reputation
4
12

Theoretical computer scientist working with formal methods.