Riccardo De Masellis

Forskare vid Institutionen för informationsteknologi, Datorteknik

E-post:
riccardo.demasellis[AT-tecken]it.uu.se
Telefon:
018-471 2288073-4697019
Besöksadress:
ITC, Lägerhyddsvägen 2, hus 1
752 37 UPPSALA
Postadress:
Box 337
751 05 UPPSALA

Nyckelord: mathematical logic artificial intelligence model checking formal methods formal verification automata theory temporal logic automated reasoning strategic reasoning multi-agent systems

Detta stycke finns inte på svenska, därför visas den engelska versionen.

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 model how data evolve over time and properties to be checked are expressed in a first-order temporal language. From 2014 to 2017 I worked at Fondazione Bruno Kessler, carrying on my research on verification of dynamic system (especially business process models) and implementing a reasoner for linear-time dynamic logic (LDL) with semantics on finite traces. I moved to Stockholm University (2017-2019) to investigate multi-agent systems, and in particular I developed logics and frameworks allowing for strategic reasoning when the number of agents change during system executions. In October 2020 I joined the division on Computer Systems at Uppsala University, where I work with string analysis, SMT solving and much more.

Kontakta katalogansvarig vid den aktuella organisationen (institution eller motsv.) för att rätta ev. felaktigheter.

Riccardo De Masellis
Senast uppdaterad: 2021-03-09