Francesco Belardinelli
Has grant
Senior Lecturer
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Francesco Belardinelli is a Senior Lecturer at Imperial College London, UK. His research focuses on the verification of knowledge-based programs, strategic reasoning, and model-checking in multi-agent systems. He has published several articles on topics such as strategic abilities in information-sharing systems and the application of bisimulations in voting protocols.
Recent Grants
Grant: Close
A Robust Framework for World Model Learning in Reinforcement Learning
Open Date: 2022-09-30
Close Date: 2026-09-29
Grant: Close
Model Checking Agents that Learn
Open Date: 2021-09-30
Close Date: 2025-09-29
Grant: Close
Strategy Logics for the Verification of Security Protocols
Open Date: 2021-07-31
Close Date: 2022-07-30
Grant: Close
The Third International Workshop on Formal Methods in Artificial Intelligence
Open Date: 2021-07-31
Close Date: 2021-10-30
Grant: Close
Control of Active Particle Systems in the Mean Field Limit
Open Date: 2019-09-30
Close Date: 2023-09-29
Articles (6)
Year:
2025
Year:
2025
Year:
2022
Year:
2021
Year:
2021
Year:
2020
Collaborators (4)
Michał Knapik
Assistant professor
Polish Academy of Sciences
Catalin Dima
Full Professor
Université Paris-Est Créteil Val de Marne
Wojciech Jamroga
Professor
Nicolaus Copernicus University
Stephane Demri
Directeur de recherche, professeur attaché
Laboratoire Méthodes Formelles
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.