In this talk I will present the work I have done concerning the specification and analysis of normative documents using deontic-based formalisms. I will also discuss challenges in the area and future research directions, including applications in smart contracts.

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. (http://www.cse.chalmers.se/~gersch).