Proof Complexity Workshop 2026 will be held at Bath University.
Invited Talks
Women in Logic, Lisbon, Portugal, July 2026. Webpage
Workshop on Proof Theory and Algebra, Bern, Switzerland, June 2026. Webpage
The Power of Structural Rules: Proof-Size Lower Bounds for Linear Logics, Proof Society Seminar, online, March 2026. Slides
Proof complexity of non-classical systems, A Day of Bounded Arithmetic, Warwick, March 2026. Webpage
AKS primality testing in bounded arithmetic, The Algorithms & Complexity Workshop, Warwick, September 2025. Webpage
Skolemization Beyond Intuitionistic Logic: The Role of Quantifier Shifts, 34th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), September 2025. Webpage
Formalizing the AKS primality algorithm in bounded arithmetic, Proof Complexity Workshop, Oxford, August 2025. Webpage
Admissibility of Visser's rules in intuitionistic modal logics, 7th Workshop on Proof Theory, Modal Logic, and Reflection Principles (Wormshop), Ghent, September 2024. Webpage
From Doubt to Determination: Building Confidence In Your PhD and Beyond, 11th Logic Mentoring Workshop, Tallinn, July 2024. Webpage Slides
Is Every Interpolation Procedure Complete?, Workshop on Craig interpolation and Beth definability (CIBD), Amsterdam, April 2024. Webpage
On Skolemization and quantifier shifts, Oberwolfach Workshop - "Mathematical Logic: Proof Theory, Constructive Mathematics", Oberwolfach, Germany, November 2023.
Uniform Interpolation: A General Scheme, The Czech Gathering of Logicians, Ostrava, Czechia, June 2023. Webpage
Surprising or Predictable? Weak Systems Have Hard Theorems, the tenth Annual IAL Symposium on Logic, Tehran, Iran, February 2023. Webpage
Universal Proof Theory: Constructive Rules and Feasible Admissibility, Workshop “Proof-theoretic and algebraic aspects of (intuitionistic) modal logics”, Utrecht, The Netherlands, November 2022. Webpage
On Proof Forms in Substructural Logics, Workshop on substructural logics, Japan Advanced Institute of Science and Technology (JAIST), Sapporo, Japan, May 2022. Webpage
Uniform Interpolation for Semi-analytic Proof Systems, Workshop on Admissible Rules and Unification III (WARU 2019), Prague, Czechia, May 2019.
International School Tutorials
Bounded Arithmetic, 7th International School and Workshop on Proof Theory (Proof Society), Ghent, September 1–3, 2025. Webpage Slides 1 Slides 2 Slides 3
The Australasian Association for Logic, Brisbane, Australia, November 2023. Webpage
Proof theory, Logic and Algebra, Topology, Algebra, and Categories in Logic (TACL) Summer School, Coimbra, 20-24 June 2022 (replacing Rosalie Iemhoff). Webpage Slides
Proof Complexity, 4th International Autumn School on Proof Theory (Proof Society), Utrecht, November 7-10, 2022. Webpage Slides 1 Slides 2 Slides 3
Supervision
Supervision of several research projects for final year masters students and bachelors students, University of Bath and Utrecht University.
Teaching
“Algorithms and complexity (CM22008)”, for bachelor students, (with T. Powel and A. Uncu), University of Bath, 2nd semester 2025/26.
“Cryptography (CM30173/CM50210)”, for bachelor and master students, (with J. Laird), University of Bath, 2nd semester 2024/25.
“Logic and Computation (WBMV13005)”, for Master Students in AI, (together with R. Iemhoff), Utrecht University, Winter 2023.
“Logic and Computation (WBMV13005)”, for Master Students in AI, (together with R. Iemhoff and A. Tabatabai), Utrecht University, Winter 2022.
“Logic and Computation (WBMV13005)”, for Master Students in AI, (together with R. Iemhoff and A. Tabatabai), Utrecht University, Winter 2021. course link
“Foundation of Combinatorics”, Tehran University, Spring 2014.
Committees
Member of the Program Committee:
CI-BD-SOQE 2026, the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination Webpage
WiL 2025: 9th International Workshop for Women in Logic, Birmingham, UK.
TbiLLC 2025: International Tbilisi Symposium on Logic, Language & Computation.
The Proof Society Workshop and School 2024, Birmingham, UK.
Czech Gathering of Logicians and Kurt Gödel Day 2024, Brno, Czechia.
AWPL 2024: 6th Asian Workshop on Philosophical Logic, 2024, Sapporo, Japan.
Member of the Organizing Committee:
AiML 2024, Prague, Czechia.
Proof Society Autumn School and Workshop 2022, Utrecht, The Netherlands.
WoLLIC 2019, Utrecht, The Netherlands.
Member of the evaluation jury to decide on The Best Student Award, Proof Society Workshop 2025, Ghent, Belgium and Proof Society Workshop 2023, Barcelona, Spain.
Selected workshop and school participation
Programme on “Logical Foundations of Complexity Theory” at the Isaac Newton Institute for Mathematical Sciences (INI), Cambridge, UK, November 2026.
"2025 Clay Research Conference", Mathematical Institute, University of Oxford, October 2025.
"Workshop: Proof Representations: From Theory to Applications", Banff International Research Station for Mathematical Innovation and Discovery (BIRS), Canada, June 2025.
"Proof Representations: From Theory to Applications", Dagstuhl, Germany, August 2024.
Trimester Program "Prospects of Formal Mathematics" - HIM, Bonn, Germany, August 2024.
Oberwolfach Workshop - "Mathematical Logic: Proof Theory, Constructive Mathematics", Oberwolfach, Germany, November 2023.
FEALORA farewell workshop, Špindlerův Mlýn, Czechia , November 2018.
Workshop on proof complexity, Dagstuhl, Germany 2018.
“Types, Sets and Constructions” Trimester Program, Hausdorff Research Institute for Mathematics, Bonn, Germany, May-August 2018.
A Special Semester on Computational and Proof Complexity, Saint Petersburg, Russia, April-June 2016.