I am a PhD student at the ILLC supervised by Nick Bezhanishvili together with Yde Venema.
I am interested in applying methods from algebra and topology to the study of non-classical logics such as intermediate and modal logics.
Before starting my PhD I did a MSc in Logic at the University of Amsterdam and before coming to Amsterdam I took a BSc in Mathematics at the University of Copenhagen.
I am also one of the co-organizers of the Algebra|Coalgebra seminars.
- Intermediate logics admitting structural hypersequent calculi. TACL, Prague (June 2017).
- Intermediate logics and structural hypersequent calculi. Seminar of the Theory and Logic Group TU Wien, Vienna (June 2017).
- Linneæn Logic: A friendly introduction to systematic proof theory. Logic Tea Colloquium, Amsterdam (May 2017).
- Some observations regarding cut-free hypersequent calculi for intermediate logics. SYSMICS, Barcelona (September 2016).
- Some observations regarding cut-free hypersequent calculi for intermediate logics. ToLo V, Tbilisi (June 2016).
- The bounded proof property: Intuitionistic case. ALCOP VII, Vienna (April 2016).
- One-step algebras and frames for intermediate logics. Workshop on Correspondence and Canonicity in Non-classical Logic, Amsterdam (September 2015). [Erratum]
This talk was based on my Msc. thesis which unfortunately contains a mistake (Proposition 5.10). Consequently, the calculus for the logic BD_3 presented does not enjoy the bounded proof property.
At the University of Amsterdam I have been a teaching assistant for the followng courses:
- Introduction to Modal logic (Bezhanishvili)
- Mathematical structures in Logic (Bezhanishvili)
- Recursion Theory (Rodenburg)
I have also supervised student projects on Universal Algebra, Category Theory, and Algebraic Modal Logic.
Room F2.23, Building F
Science Park 107
1098 XG Amsterdam