Profiles

Riccardo De Masellis

Riccardo De Masellis

Postdoktor

View page in English
Arbetar vid Filosofiska institutionen
E-post riccardo.demasellis@philosophy.su.se
Besöksadress Universitetsvägen 10 D, plan 7
Postadress Filosofiska institutionen 106 91 Stockholm

Om mig

My primary research interest has always been logic and its applications to artificial intelligence. I earned the Ph.D. in Computer Science at Sapienza University of Rome in 2013, with a dissertation on formal verification of data-aware dynamical systems. Such systems allow to model how data evolve over time and properties to be checked are expressed in a first-order temporal language. After a first post-doc in Fondazione Bruno Kessler in Italy, from November 2017 I am a post-doctoral researcher in the Philosophy Department, investigating logics and techniques for strategic reasoning in multi-agent systems.

 
For more detailed information on my research and publications please visit: http://demasellis.x10host.com

Senast uppdaterad: 6 april 2019

Bokmärk och dela Tipsa