Since 2006, I have been teaching in universities of four countries full undergraduate and graduate courses on a variety of topics related to logic and artificial intelligence. I am also active as a supervisor of master and Ph.D. theses. Interested students are invited to contact me.*
CURRENT COURSES:
Master of Applied Mathematics of the University of Siena:
Logics for Artificial Intelligence (2026)
Bachelor of Mathematics of the University of Siena:
Algebra 2 (2024, 2025, 2026)
PAST COURSES:
Four courses in the Master of Applied Mathematics of the University of Siena:
Foundations of Mathematics (2022, 2023, 2024, 2025)
One course in the PhD program in Mathematics of the University of Ferrara:
Introduction to Mathematical Fuzzy Logic (2024)
One course in the PhD program in Information engineering and science of the University of Siena:
Introduction to Mathematical Fuzzy Logic (2023)
One master course at the Department of Mathematics, National University of the South, Bahía Blanca, Argentina:
Many-valued model theory (2022)
Two master courses at the Czech Technical University in Prague:
Logic for Computer Science (2018, 2020)
Three master courses at the Faculty of Mathematics and Physics of the Charles University in Prague:
Introduction to Algebraic Logic (2019)
General Theories of Logical Systems (2020, 2021)
Eight master/bachelor courses at the Department of Logic of the Charles University in Prague:
Introduction to Algebraic Logic (2015, 2017, 2019)
General Theories of Logical Systems (2014, 2016)
Mathematical Fuzzy Logic (2013, 2016, 2021)
One master course at the Faculty of Mathematics of the National University of Central Buenos Aires:
Introduction to Algebraic Logic (2015)
Two PhD courses at the Faculty of Mathematics of the University of Siena:
Mathematical Fuzzy Logic (2008, 2009) (with T. Flaminio)
Three undergraduate courses at the University of Lleida:
Computational logic (2006)
Artificial intelligence (2006)
Intelligent systems (2007)
SHORT COURSES AND TUTORIALS:
One course at the International Tbilisi Summer School on Logic and Language (Tbilisi, Georgia, September 2017):
Reasoning with graded predicates in Mathematical Fuzzy Logic
Tutorial at the School of Computer Science and Applied Mathematics, University of the Witwatersrand (Johannesburg, South Africa, July 2016):
Substructural Logics: A Logical Glimpse at Residuated Lattices (with P. Cintula)
Tutorial at the Victoria University of Wellington (Wellington, New Zealand, January 2016):
Crash course on Mathematical Fuzzy Logic (with P. Cintula)
Tutorial at the Israeli Workshop on Non-Classical Logics and Their Applications (Haifa, Israel, September 2014):
Mathematical Fuzzy Logic: How you can easily set up your own fuzzy logic (with P. Cintula)
Introductory course at the European Summer School in Logic, Language and Information (ESSLLI) (Tübingen, Germany, August 2014):
A gentle introduction to mathematical fuzzy logic (with P. Cintula)
Advanced course at the European Summer School in Logic, Language and Information (ESSLLI) (Opole, Poland, August 2012):
Abstract Algebraic Logic: theory and applications (with P. Cintula)
Ph.D. STUDENTS:
Tomáš Lávička, An abstract study of completeness in infinitary logics, Charles University in Prague (thesis defended in October 2018).
Filip Jankovec, TBA, Charles University in Prague (since 2022). Co-advisor: Petr Cintula.
James Carr, TBA, University of Queensland (since 2022). Co-advisor: Guillermo Badia.
Alberto Paparella, TBA, University of Ferrara (since 2024). Co-advisors: Guido Sciavicco and Guillermo Badia.
Alice Portone, TBA, University of Siena (since 2025). Co-advisor: Guillermo Badia.