AcId

458
reputation
2
12

Theoretical computer scientist working with formal methods.