xamid
444
reputation
7
21
I am a theoretical computer scientist, concerned with logics; model theory, proof theory and automated theorem proving. I am developing tools – mainly in C++ and C# – to ease my life.