Research

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 are listed below.

Program chair:

  • LFMTP 2018 (Logical Frameworks and Meta-Languages: Theory and Practice) in FSCD
  • EPS 2017 (Encyclopedia of Proof Systems Workshop)

Program Committee member:

  • 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)

Subreviewer:

  • CADE 2017 (International Conference on Automated Deduction)
  • FSCD 2016 (Formal Structures for Computation and Deduction)
  • IJCAR 2016 (International Joint Conference on Automated Reasoning)
  • LICS 2016 (Logic in Computer Science)
  • TYPES 2016
  • ICALP 2015 (International Colloquium on Automata, Languages and Programming)
  • WoF 2015 (Workshop on Focusing)
  • RTA-TLCA 2014 (Rewriting Techniques and Applications and Typed Lambda Calculi and Applications)
  • ∀X.Xπ 2014 (All about proofs, proofs for all)

Organization committee:

  • IJCAR 2014 (International Joint Conference on Automated Reasoning)