I am a University Teacher at the University of Liverpool since November 2020. My research interests include Knowledge Representation and Reasoning, Logic in Computer Science, Model Theory (particularly for non-classical logics such as spatial, temporal, modal and description logics), Automated Reasoning (with particular focus on tableaux and resolution methods), and Formal Verification. Before my current position, I have been a Research Associate at the University of Liverpool and worked on the following EPSRC projects: "iTract: island of tractability", "Robotics and Artificial Intelligence for Nuclear", "UK Robotics and Artificial Intelligence Hub for Offshore En- ergy Asset Integrity Management" and "Science of Sensor System Software". I have been an EPSRC Doctoral Prize fellow at The University of Manchester, the same university where I obtained my PhD in January 2015 under the supervision of Dr.-Ing. Renate A. Schmidt. Before that, I obtained my BSc and MSc in Computer Science Engineering at the "Università degli Studi Roma Tre" under the supervision of Prof. Marta Cialdea Mayer.