Recommends submissions to the Journal of Logic and Algebraic Methods in Computer Science (JLAMP); participates in various international conferences such as OPLSS 2025, FSCD 2025, etc.
Research Experience
Invited speaker at Proof Society International School 2024; involved in the Horizon Europe project TaRDIS.
Background
Research interests include the application of logic and algebraic methods in computer science.
Miscellany
Profiles can be found on DBLP, Google Scholar, and the Mathematical Genealogy Project.