Giuseppe Greco

Giuseppe Greco is an Assistant Professor at Vrije Universiteit Amsterdam (VU Amsterdam) in the School of Business and Economics, Department of Ethics, Governance and Society. He holds a PhD in Mathematical Logic and Computer Science from Università degli Studi di Siena (2011) and has held postdoctoral positions at Utrecht University and TU Delft prior to joining VU Amsterdam.

His research focuses on mathematical logic and computational systems, with expertise spanning:

• Proof theory and sequent calculi
• Algebraic and lattice-based logics
• Modal and epistemic logic systems
• Formal verification and computational semantics

His recent publications demonstrate consistent focus on advancing proof-theoretic frameworks for non-classical logics.

He actively contributes to multiple research projects including:

• NWO project: Explainable AI for auditing (2021-2025)
• Logics for Categorization - Aspasia (2020-2025)
• Multi-level and multi-sector values and collaboration (2022-2028)