Up to 30% off — ends 7 Aug
ONLY00h00m00s
Up to 30% off — ends 7 Aug
ONLY00h00m00s
Francesco Belardinelli
Senior Lecturer
Imperial College London
United Kingdom
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do I reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Mathematical Logic
Comparative Politics
Competitive Strategy
Formal Methods
Discrete Event Systems
Voting Systems
Protocol Design
Ask ApplyKite AI
Recent Grants
Grant: Open
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
Articles6
Collaborators4
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
How do I reach out?
Sign in for free to see their profile details and contact information.