Gerardo Schneider will give a talk about his work on the specification and analysis of normative contracts. Details below.
SPEAKER
Gerardo Schneider, Full Prof., University of Gothenburg.
TITLE
On the Specification and Analysis of Normative Contracts
ABSTRACT
In this talk, I will present the work I have done in the last years concerning the specification and analysis of normative documents using deontic-based formalisms. I will also discuss challenges in the area and future research directions.
SHORT BIO
Gerardo Schneider received a PhD degree in Computer Science from the University Joseph Fourier (thesis done at the VERIMAG laboratory), Grenoble (France), in 2002. From 2003 till 2009 he was a researcher at Uppsala University (Sweden), Irisa/INRIA Rennes (France), and the University of Oslo (Norway). He joined the Department of Computer Science and Engineering at the University of Gothenburg (Sweden) in July 2009, where he has been a full professor since July 2014. He acted as Head of the Formal Methods Division since Jan 2017 till Dec 2023, and since Dec 2023 he has been the head of the Data Science and AI division. His research interests include formal verification, combination of verification techniques (e.g., static and runtime verification, controller synthesis and runtime verification), the specification and analysis of normative documents, and privacy.
Homepage: http://www.cse.chalmers.se/~gersch