I'm a theoretical computer scientist, mainly concerned with logics; proof theory and automated theorem proving. Moreover, I am programming small applications to ease my life.