I am a theoretical computer scientist, mainly concerned with logic, proof theory, proof complexity, and automated theorem proving. I code tools to ease my life.