Dr Iris van der Giessen

Dr Iris van der Giessen

School of Computer Science
Research Fellow

Contact details

Address
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Iris van der Giessen is a Research Fellow in the UKRI project "Structure vs. Invariants in Proofs" under supervision of Anupam Das. Van der Giessen obtained her PhD at the Utrecht University, the Netherlands, under supervision of Rosalie Iemhoff and Nick Bezhanishvili with her thesis titled "Uniform Interpolation and Admissible Rules. Proof-theoretic investigations into (intuitionistic) modal logics".

Her research focuses on structural proof theory, cyclic proof theory and (intuitionistic) modal logic. Her interests also include proofs-as-programs, proof-theoretic semantics, and ecumenical systems. She investigates interpolation properties (i.e. Craig, uniform, …) of logics from a proof-theoretic point of view and by using semantic reasoning. She aims to bridge the proof-theoretic research to applications in computer science.

The tabs below show van der Giessen’s publications, teaching activities and other activities. For several publications displayed on this page that are not published Open Access, an accepted Author’s version could be accessed via van der Giessen’s research portal by clicking on the button `View my research portal’ on top of this page.

Qualifications

  • PhD in Logic, Utrecht, the Netherlands, 2022
  • MSc in Mathematics, Nijmegen, the Netherlands, 2018
  • BSc Mathematics, Nijmegen, the Netherlands, 2016

Teaching

Teaching in the School of Computer Science

2023-2024

Introduction to Proof Theory - Course at the Midlands Graduate School (MGS), Leicester, co-lectured with Abhishek De. Please find the course notes on the MGS webpage.

2022-2023

Theories of Computation - tutor for first year bachelor course in Computer Science, University of Birmingham

Teaching in other institutes

2021-2022

Logische Complexiteit (Logical Complexity) - tutorials and guest lecture for third year bachelor course in Artificial Intelligence, Utrecht University.

2020-2021

  • Logische Complexiteit (Logical Complexity) - tutorials and guest lecture for second and third year bachelor course in Artificial Intelligence, Utrecht University.
  • Modale Logica voor KI (Modal Logic for AI) - tutorials for second year bachelor course in Artificial Intelligence, Utrecht University.

2019-2020

  • Logische Complexiteit (Logical Complexity) - coordination of second and third year bachelor course in Artificial Intelligence, Utrecht University.
  • Wiskunde voor KI (Mathematics for AI) - coordination of first year bachelor course in Artificial Intelligence, Utrecht University.

2018-2019

Wiskunde voor KI (Mathematics for AI) - coordination of first year bachelor course in Artificial Intelligence, Utrecht University.

2015-2018

Providing exercise classes for courses in Mathematics, such as Introduction to Mathematics, Calculus, Geometry, and Ordinary Differential Equations, Radboud University Nijmegen.

Research

  • Cyclic proof systems and sequent calculi for intuitionistic modal logics related to provability logic (collaborations with Anupam Das, Sonia Marin, Rosalie Iemhoff, Ian Shillito and Rajeev Goré).
  • Proof-theoretic investigations of nested sequent and hypersequent systems in relation to uniform interpolation (in collaboration with Rahaleh Jalali and Roman Kuznets)
  • Admissible rules in intuitionistic modal logics
  • Natural deduction based on truth tables (in collaboration with Herman Geuvers and Tonny Hurkens)

Other activities

Invited Talks

2024

LMW 2024, Logic Mentoring Workshop Naples – Doing a PhD is more than writing a thesis

2023

Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics Oberwolfach – intuitionistic Gödel-Löb logic: box and diamond
Ecumenical Meeting London - The coreflection principle – a great value in intuitionistic modal logic.

2022

StrIP Kick-Off meeting Birmingham – Proof theory for the admissible rules in Lax Logic.

2021

7th TICAMORE meeting online - Proving uniform interpolation via nested sequents.

2020

Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics online - Admissibility in some intuitionistic provability logics

Contributed Talks

2024

CIBD 2024, Workshop on Theory and Applications of Craig Interpolation and Beth Definability Amsterdam - Uniform Interpolants and Bisimulation Quantifiers: Verified Constructions via Proof Systems
BCTCS 2024, British Colloquium for Theoretical Computer Science Bath - Intuitionistic Gödel-Löb logic à la Simpson: labelled systems and birelational semantics 
(j.w.w. Anupam Das and Sonia Marin)
CSL 2024, EACSL Annual Conference on Computer Science Logic Naples - Intuitionistic Gödel-Löb logic à la Simpson: labelled systems and birelational semantics 
(j.w.w. Anupam Das and Sonia Marin)

2023

MOSAIC 2023 Vienna - Towards Intuitionistic Gödel-Löb logic (with a capital ‘I’)
(j.w.w. Anupam Das and Sonia Marin)
TABLEAUX 2023 Prague - Extensions of K5: Proof theory and uniform interpolation
(j.w.w. Raheleh Jalali and Roman Kuznets)
The 5th Proof Society Workshop Barcelona - Towards Intuitionistic Gödel-Löb logic (with a capital ‘I’)
(j.w.w. Anupam Das and Sonia Marin)
Logic Colloquium Milan - Proving uniform interpolation via multicomponent sequent calculi
(j.w.w. Raheleh Jalali and Roman Kuznets)

2022

The 4th Proof Society Workshop Utrecht - Natural deduction derived from truth tables
(j.w.w. Herman Geuvers and Tonny Hurkens)
Workshop on Proofs, Computation and Meaning online - Natural deduction derived from truth tables: intuitionistic logic. (j.w.w. Herman Geuvers and Tonny Hurkens)


2021

The 3rd Proof Society Workshop Madeira - Proof theory for the admissible rules in lax logic
WoLLIC 2023, Workshop on Logic, Language, Information and Computation, online - Uniform interpolation via nested sequents
(j.w.w. Raheleh Jalali and Roman Kuznets)
LOGICA 2021 Hejnice - Admissible rules in intuitionistic modal logics.
PhD’s in Logic XII Berlin - A walk through the landscape of intuitionistic modal logic.
Women in Logic online - Rules in intuitionistic modal logics.
AAL 2021, Australian Association for Logic Conference, online - Lax logic and its admissible rules
GSCL XXII, The 22nd Annual Graduate Student Conference in Logic, online - On the admissible rules in lax logic

2020

Women in Logic online - Uniform interpolation in intuitionistic modal logic

2019

Logic Colloquium Prague - Intuitionistic Gödel-Löb Logic (j.w.w. Rosalie Iemhoff)
PhD’s in Logic XI Bern - Cut-elimination for intuitionistic Gödel-Löb logic
(j.w.w. Rosalie Iemhoff)
The 2nd Proof Society School Swansea – Logics iGL and iSL
Prize for best poster presentation

Publications

Recent publications

Article

van der Giessen, I 2023, 'Admissible rules for six intuitionistic modal logics', Annals of Pure and Applied Logic, vol. 174, no. 4, 103233. https://doi.org/10.1016/j.apal.2022.103233

van der Giessen, I & Iemhoff, R 2021, 'Sequent calculi for intuitionistic Gödel-Löb logic', Notre Dame Journal of Formal Logic, vol. 62, no. 2, pp. 221-246. https://doi.org/10.1215/00294527-2021-0011

van der Giessen, I, Geuvers, H & Hurkens, T 2019, 'Strong normalization for truth table natural deduction', Fundamenta Informaticae, vol. 170, no. 1-3, pp. 139-176. https://doi.org/10.3233/FI-2019-1858

Conference contribution

Das, A, van der Giessen, I & Marin, S 2024, Intuitionistic Gödel-Löb Logic, à la Simpson: Labelled Systems and Birelational Semantics. in A Murano & A Silva (eds), 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics, LIPIcs, vol. 288, Schloss Dagstuhl, pp. 22:1-22:18, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Naples, Italy, 19/02/24. https://doi.org/10.4230/LIPIcs.CSL.2024.22

Férée, H, van der Giessen, I, van Gool, S & Shillito, I 2024, Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL. in C Benzmüller, MJH Heule & RA Schmidt (eds), Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II. vol. 2, Lecture Notes in Computer Science, vol. 14740, Springer, pp. 43-60. https://doi.org/10.1007/978-3-031-63501-4_3

Shillito, I, van der Giessen, I, Goré, R & Iemhoff, R 2023, A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. in R Ramanayake & J Urban (eds), Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. Lecture Notes in Computer Science, vol. 14278, pp. 73-93. https://doi.org/10.1007/978-3-031-43513-3_5

van der Giessen, I, Jalali, R & Kuznets, R 2023, Extensions of K5: proof theory and uniform Lyndon interpolation. in R Ramanayake & J Urban (eds), Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. Lecture Notes in Computer Science, vol. 14278, pp. 263-282. https://doi.org/10.1007/978-3-031-43513-3_15

van der Giessen, I 2021, Exploring a result by Ghilardi: projective formulas vs. the extension property. in M Blicha & I Sedlar (eds), The Logica Yearbook 2020. The Logica Yearbook, College Publications, pp. 97-114. <https://www.collegepublications.co.uk/logica/?00034>

van der Giessen, I, Jalali, R & Kuznets, R 2021, Uniform interpolation via nested sequents. in Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Lecture Notes in Computer Science, vol. 13038, Springer, pp. 337-354. https://doi.org/10.1007/978-3-030-88853-4_21

Doctoral Thesis

van der Giessen, I 2022, 'Uniform Interpolation and Admissible Rules: Proof-theoretic investigations into (intuitionistic) modal logics', Utrecht University. https://doi.org/10.33540/1486

Special issue

van der Giessen, I & Iemhoff, R 2020, 'Proof theory for intuitionistic strong Löb logic', Special Volume of the Workshop Proofs! held in Paris in 2017.

View all publications in research portal