Research-wise, I am a computer scientist with a tendency to mathematics who ended up in logic. My research can be placed in proof theory, but I am more interested in structural proof theory, automated deduction and logical frameworks. I try to make everything converge to the use of logic and proofs for developing correct software.

You can find a list of publications here and talks here. I like that my projects are accompanied by a software development, some of which can be seen here.