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
| 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è .  |
| 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! |
| Dec 28, 2023 | Project “ASGARD” accepted to the Sapienza University funding scheme! |
| Feb 20, 2023 | Mr. Pierre Gaillard, Master Student from École Normale Supérieure Paris-Saclay started an internship with us until 21-07-2023! |