Academic History
Post-Doctoral Researcher, 2020 - Present. Computational Logic Group, Technische Universität Dresden. I was initially hired as a senior research scientist for the project DeciGUT: A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation, which ended in March, 2025.
Doctoral Researcher, 2016 - 2020. During my PhD I worked on a variety of projects including (1) TICAMORE: Translating and Discovering Calculi for Modal and Related Logics, (2) SYSMICS: Substructural logics - Semantics, Proof Theory, and Applications, (3) Non-Classical Proofs: Theory, Applications and Tools, and (4) Norm-Based Reasoning: from Legal and Moral Traditions to AI Systems in the Theory and Logic Group of the Institute of Logic and Computation at Technische Universität Wien.
PhD Student, 2016 - 2021. PhD in Computational Logic, LogiCS Doctoral Program, Technische Universität Wien. I defended my PhD thesis titled Refining Labelled Systems for Modal and Constructive Logics with Applications on 29 July 2021. The thesis can be found here. Advisor: Prof. Agata Ciabattoni and Co-Advisor: Dr. Revantha Ramanayake.
Research Assistant, 2015 - 2016. Munich Center for Mathematical Philosophy, Ludwig Maximilians Universität München.
Master's Student, 2014 - 2016. Masters in Logic and Philosophy of Science, Munich Center for Mathematical Philosophy, Ludwig Maximilians Universität München. Awarded Masters degree in Logic and Philosophy of Science. Advisor: Dr. Martin Fischer.
Undergraduate Student. University of California, Santa Cruz. 2008 - 2013. Awarded Bachelor of Arts degrees in Mathematics, Philosophy, and Political Science. University of the People. 2016 - 2022. Awarded Associate of Science and Bachelor of Science degrees in Computer Science.
Peer-Review
I have reviewed papers for the following journals:
Annals of Pure and Applied Logic
Archive for Mathematical Logic
Journal of Applied Non-Classical Logics
Journal of Logic, Language, and Information
Journal of Philosophical Logic
Mathematical Structures in Computer Science
Coauthors
I have had the pleasure of working and publishing with the following researchers:
Australia:
Ranald Clouston, ANU College of Engineering and Computer Science, Australian National University
Rajeev Goré, ANU College of Engineering and Computer Science, Australian National University
Francesco Olivieri, Institute for Integrated and Intelligence Systems, Griffith University
Alwen Tiu, ANU College of Engineering and Computer Science, Australian National University
Austria:
Kees van Berkel, Institute of Logic and Computation, TU Vienna
Agata Cibattoni, Institute of Logic and Computation, TU Vienna
France:
Didier Galmiche, Université de Lorraine
Lucía Gómez Álvarez, Centre Inria de l'Université Grenoble Alpes
Dominique Larchey-Wendling, Université de Lorraine
Daniel Méry, Université de Lorraine
Nicola Olivetti, Aix-Marseille University
Germany:
Thomas Feller, Institute of Artificial Intelligence, TU Dresden
Norbert Gratzl, Munich Center for Mathematical Philosophy, LMU Munich
Jonas Karge, Institute of Artificial Intelligence, TU Dresden
Sebastian Rudolph, Institute of Artificial Intelligence, TU Dresden
Italy:
Nicola Gigante, Faculty of Engineering, Free University of Bozen-Bolzano
Eugenio Orlandelli, Department of the Arts, University of Bologna
Netherlands:
Marianna Girlando, Institute for Logic, Language and Computation, University of Amsterdam
Revantha Ramanayake, Faculty of Science and Engineering, University of Groningen
Poland:
Piotr Ostropolski-Nalewaja, Institute of Computer Science, University of Wrocław
Slovakia:
Matteo Pascucci, Institute of Philosophy, Slovak Academy of Sciences
United Kingdom:
Timo Eckhardt, Department of Computer Science, University College London
Ian Shillito, School of Computer Science, University of Birmingham