I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences (Prague), working on the TRUST project within the LogICS group.

In July 2019, I obtained a Master degree in Philosophy from the Ca' Foscari University of Venice. 

From 2019 to 2023, I have been a PhD student in the Department of Philosophy I at the Ruhr University Bochum, and part of the Logic in Bochum group. 

Click here for my CV. (last update: 07/2025)

I am interested in philosophical logic (especially proof theory, non-classical logics, relational semantics), philosophy of logic and mathematics (e.g., inferentialism, practice-based approaches, social and educational aspects), epistemology (e.g., the nature of proofs, mathematical and logical knowledge and explanation), and history of logic (e.g., theories of modalities and conditionals, logical communities, medieval logic). In relation to these areas, I have recently developed an interest in the philosophy of mathematical practice.