Academic Bio
Academic History
Post-Doctoral Researcher. DeciGUT: A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation, Computational Logic Group, Technische Universität Dresden. 2020 - Present.
Doctoral Researcher. During my PhD I worked on a variety of projects including (I) TICAMORE: Translating and Discovering Calculi for Modal and Related Logics, (II) SYSMICS: Substructural logics - Semantics, Proof Theory, and Applications, (III) Non-Classical Proofs: Theory, Applications and Tools, and (IV) 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. 2016 - 2020.
PhD Student. PhD in Computational Logic, LogiCS Doctoral Program, Technische Universität Wien. 2016 - 2021. 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. Munich Center for Mathematical Philosophy, Ludwig Maximilians Universität München. 2015 - 2016.
Master's Student. Masters in Logic and Philosophy of Science, Munich Center for Mathematical Philosophy, Ludwig Maximilians Universität München. 2014 - 2016. 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.
PC Member
Peer-Review
I have reviewed papers for the following journals:
Archive for Mathematical Logic
Co-Authors
I have had the pleasure of working 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:
Lucía Gómez Álvarez, Centre Inria de l'Université Grenoble Alpes
Germany:
Thomas Feller, Institute of Artificial Intelligence, TU Dresden
Lucía Gómez Álvarez, 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:
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