AuRA Lab - Automated Reasoning and Applications
The Automated Reasoning and Applications Lab is a research laboratory of the Department of Computer Science at Sapienza University of Rome.
Our research interests regard many aspects of Automated Reasoning and its Applications to Artificial Intelligence, with special focus on Multi-Agent Systems. We work on research and development of techniques based on formal methods for verification and synthesis, knowledge representation and reasoning, strategic reasoning, computational logics, formal games, automata theory, and their applications.
news
| Feb 01, 2026 | Giacomo joined us as Research Assistant. Welcome Giacomo! |
|---|---|
| Nov 01, 2025 | Pierre joined us as PhD Student in co-supervision with University of Bordeaux. Welcome Pierre! |
| Jun 16, 2025 | Prof. Antonio Di Stasio from City St. George’s, University of London is visiting us until 20-06-2025! |
| Jun 02, 2025 | Dr. Sumand Sadhukhan from University of Haifa is visiting us until 13-06-2025! |
| Mar 25, 2025 | Giuseppe is visiting the Intelligent Systems Group at the University of Utrecht. He will also give a talk at the S4S Cafè .  |
| Dec 02, 2024 | Edoardo joined us as Research Assistant. Welcome Edoardo! |
| Apr 11, 2024 | Mr. Pierre Gaillard, Master Student from École Normale Supérieure Paris-Saclay started a second internship with us until 31-07-2024! Welcome back Pierre! |
| Feb 26, 2024 | Prof. Muhammad Najib from Heriot-Watt University of Edinburgh is visitng us until 08-03-2024! |