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. Scientific events I have participated in are listed below.

Program chair:

  • LSFA 2020 (Logical and Semantic Framework with Applications)
  • PxTP 2019 (Proof Exchange for Theorem Proving)
  • LFMTP 2018 (Logical Frameworks and Meta-Languages: Theory and Practice) in FSCD
  • EPS 2017 (Encyclopedia of Proof Systems Workshop)

Program Committee member:

Steering committee:

  • LFMTP (Logical Frameworks and Meta-Languages: Theory and Practice)

Organization committee:

  • CADE-27 (International Conference on Automated Deduction)
  • IJCAR 2014 (International Joint Conference on Automated Reasoning)