AcId

193
reputation

Theoretical computer scientist working with formal methods.