Projects
Research projects I am involved in as coordinator or participant.
SemPER
Semantics, Proofs, and Effective Reasoning
A Marie Skłodowska-Curie Staff Exchange project funded by Horizon Europe, uniting mathematicians, computer scientists, and philosophers across logic, algebra, category theory, automated reasoning, and proof assistants.
Visit project site →