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:
- LOPSTR 2020
- TLLA-Linearity 2020
- CIMPA School in Mathematical Logic and Applications (scientific committee)
- CONCUR 2020 (International Conference on Concurrency Theory)
- Tableaux 2019
- WoLLIC 2018 (Workshop on Language, Logic, Information, and Computation)
- LICS 2018 (Logic in Computer Science)
- POPL 2018 (Artifact Evaluation Committee)
- SD 2017 (Structures and Deduction Workshop)
- Tableaux 2017
- LSFA 2017 (Logical and Semantic Framework with Applications)
- POPL 2017 (Artifact Evaluation Committee)
- ARQNL 2016 (Automated Reasoning on Quantified Non-classical Logic)
- CMSB 2016 (Computational Methods in Systems Biology) – Tool evaluation
- Linearity 2016
- LSFA 2016 (Logical and Semantic Framework with Applications)
- LFMTP 2015 (Logical Frameworks and Meta-Languages: Theory and Practice)
Steering committee:
- PxTP (Proof eXchange for Theorem Proving)
- LFMTP (Logical Frameworks and Meta-Languages: Theory and Practice)
- LSFA (Logical and Semantic Framework with Applications)
Organization committee:
- CADE-27 (International Conference on Automated Deduction)
- IJCAR 2014 (International Joint Conference on Automated Reasoning)