The professor is available to supervise theses across a wide range of fields, covering various levels of study and theoretical complexity:

Bachelor's Theses

• Logic: both formal and informal, with particular attention to the structure of reasoning and the construction of coherent and valid arguments. This includes argumentation theory and applications of logic to everyday language, useful for understanding how logic can be applied in practical, everyday contexts.
• Philosophy of Science: exploration of the theoretical foundations of various scientific disciplines, with a critical reflection on the methods, principles, and implications of the sciences.
• History of Science and Technology: historical analysis of scientific and technological progress, examining the evolution of scientific ideas and technological inventions.

Master's Theses

• Formal Logic: advanced study of logic, its formal structures, and its mathematical and theoretical applications.
• Applications of Logic to the Sciences: how logic can support or influence scientific methodology and how logical structures fit into scientific models.
• Artificial Intelligence: exploration of the role of logic and reasoning in AI, focusing on how logical principles can be applied to complex problems in this field.

Doctoral Theses

• Formal Logic: an in-depth and specialized study of the theoretical and formal foundations of logic.
• Algebraic Logic: connections between logic and algebraic structures, such as lattices and Boolean algebras, to model and solve complex logical problems.
• Quantum Logic: study of logical structures applicable to quantum mechanics, a field that challenges classical logic paradigms.
• Foundations of Quantum Mechanics: theoretical and conceptual investigation of the principles underlying quantum mechanics.
• Applications of Quantum Mechanics to Machine Learning: exploration of the synergies between quantum theory and machine learning, focusing on the use of quantum algorithms to enhance AI performance.

These areas of supervision span a range of interests from pure theory to practical applications, offering a multidisciplinary framework ideal for those interested in exploring logic and science in various forms.