WHAT'S NEW: 

2026 - Critical Thinking and Creative Communication

(with I. Matteucci and S. Moretti)

Erickson University & Research

2026 - La filosofia della Matematica del Novecento

(with C. Ciliberto and C. Fontanari)

Nuova Lettera Matematica, vol. 10, February

2025 - A logical perspective on intending to keep a true secret, 

(with Alessandro Aldini, Davide Fazio, Raffaele Mascella, Mirko Tagliaferri)

Journal of Logic and Computation, Volume 35, Issue 5, July 2025, exaf028, DOI: <https://doi.org/10.1093/logcom/exaf028>

2025 - Towards a Readability Criterion for Humans and Machines

(with Pedro Quaresma)

In: Proença, J., Fervari, R., Martins, M.A., Kahle, R., Pluck, G. (eds) 

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops. SEFM 2024. Lecture Notes in Computer Science, vol 15551, pp. 254-270, Springer, Cham.

DOI: <https://doi.org/10.1007/978-3-031-94748-3_19>