Gerardo Schneider

Gerardo Schneider is a Full Professor in Computer Science at the University of Gothenburg, Sweden, and holds a joint appointment at Chalmers University of Technology. He serves as Head of the Data Science and Artificial Intelligence (DSAI) Division and has previously led the Formal Methods Division and acted as Director of Graduate Studies.

• University of Gothenburg: 2009–present
• Chalmers University of Technology: 2009–present
• Uppsala University: 2002–2003
• University of Oslo: 2005–2009

His research focuses on formal methods for software engineering, including contract specification and analysis, privacy policy formalization, model checking, and runtime verification. He works on verification of real-time systems, embedded systems (e.g., smart Java cards), and blockchain-based smart contracts.

Key projects include:

• X-LEGAL (2020–2023): Smart Legal Contracts (Swedish Research Council)
• PolUser (2016–2019): User-Controlled Privacy Policies (Swedish Research Council)
• ARVI (2014–2018): Runtime Verification Beyond Monitoring (ICT COST Action)
• ReMU (2013–2017): Reliable Multilingual Digital Communication (Swedish Research Council)

He has supervised numerous PhD and Master’s students in formal methods, blockchain security, and privacy compliance. His tools include SPeeDI (Polygonal Hybrid Systems Verification), CLAN (Contract Normative Conflict Detection), and AnaCon (Controlled Natural Language Analysis).