Theses

There is nothing more practical than a good theory. (Kurt Lewin)

Available Theses

I am open to supervise Bs and Ms Theses. These can be oriented towards surveys (for Bs), implementations (for Bs and Ms), or research problems (mostly Ms but also Bs). The topics cover several areas of AI, Formal Methods, and Multi-Agent Systems, including:

• Automated Reasoning, including logics representation and reasoning about strategies.
• Verification, Synthesis and Rational Synthesis, including single and multi-agent systems.
• Linear-Time Temporal Logics, including automata-theoretic and game-theoretic approach in Formal Verification.
• Normative Systems, including mechanism and multi-agent system design.

Below, a list of textbooks to get a more detailed view on these topics:

• Reasoning about Knowledge [Fagin, Moses, Halpern, Vardi, 1995]
• Languages Automata and Logic [Thomas, 1996]
• Infinite Words [Perrin, Pin, 2002]
• An Introduction to Multi-Agent Systems [Wooldridge, 2002]
• Artificial Intelligence: a Modern Approach [Norvig, Russell, 2016]
• Games on Graphs [Fijalkow, 2023]

DISCLAIMER: I do not work in Machine Learning. Please, take a look at the reference list above before contacting me about possible these.