I am currently working at the Austrian Federal Chancellery. Until 2021 I was working at SBA Research in the project BRISE Vienna. Previously, I was a research assistant in the project Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts, and before that a Marie Skłodowska-Curie Fellow at the TU Wien in the PAnaMoL project. Before this I was a member of the START project: Non classical proofs: theory, applications and tools led by Agata Ciabattoni, and even further back I did my PhD with Dirk Pattinson in London. In general I am interested in all things connected to logic, including applications of structural proof theory to legal reasoning and explainable AI. I am also interested in structural proof theory for modal and intermediate logics, in particular in the connections between Hilbert-style axiomatisations and Gentzen-style sequent, hypersequent or nested sequent calculi, as well as the expressive strengths of different Gentzen-style frameworks.
Consider submitting a paper to DEON 2025! The deadline is fast approaching!
The conference TABLEAUX 2025 will take place in Iceland - consider submitting a paper!
Our survey paper Nested Sequents or Tree-Hypersequents - A Survey was published in the collection Weiss, Birman (Eds.): Saul Kripke on Modal Logic. For a previous version see here.
The article Grants4Companies: The Common Lisp PoC was published in the Proceedings of the European Lisp Symposium 2024 (pp.12-17)
The article Grants4Companies: Applying declarative methods for recommending and reasoning about business grants in the Austrian public administration (System description) was published in the proceedings of FLOPS 2024
The article BRISE-Plandok: A German legal corpus of building regulations about the data set of sentences from the Viennese building regulation and their formalisations was published in the journal Language Resources and Evaluation. Take a look at the preprint and the github page.