Invited Speakers

Joost-Pieter Katoen

Prof. Katoen is a full professor at the RWTH Aachen University in the Software Modeling and Verification (MOVES) group and part-time associated to the Formal Methods & Tools group at the University of Twente. Since 2013, he holds a distinguished professorship at RWTH Aachen University and am member of the Academia Europaea.

His research interests inlcude:
• Formal methods
• Computer-aided verification, in particular model checking
• Concurrency theory
• Probabilistic computation
• Semantics


Joël Ouaknine

Since 2016, Prof. Ouaknine is the director of the Max PIanck Institute for Software Systems, Adjunct Professor of Computer Science at Saarland University, and a professional research fellow at Oxford University. Before 2016, he was a full professor of computer Science at the Oxford University .

His research interests include:
• Decision, control, and synthesis problems for continuous and discrete linear dynamical systems (using tools from number theory, Diophantine geometry, real algebraic geometry)
• Automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity)
• Logic and applications to verification
• Automated software analysis
•  Concurrency


Sanjit A. Seshia

Prof. Seshia is a full professor at the   University of California, Berkeley at the Department of Electrical Engineering and Computer Sciences, in the Logic and the Methodology of Science group. He received an M.S. and Ph.D. in Computer Science from Carnegie Mellon University, and a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay.

His research interests are in formal methods for dependable and secure computing, with a current focus on the areas of cyber-physical systems, computer security, and robotics. He has made pioneering contributions to the areas of satisfiability modulo theories (SMT), SMT-based verification, and inductive program synthesis. He is co-author of a widely-used textbook on embedded, cyber-physical systems and has led the development of technologies for cyber-physical systems education based on formal methods. His awards and honors include a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, and the Frederick Emmons Terman Award for contributions to electrical engineering and computer science education. He is a Fellow of the IEEE.


Gilles Barthe

Gilles Barthe received a Ph.D. in Mathematics from the University of Manchester, UK, in 1993, and an Habilitation à diriger les recherches in Computer Science from the University of Nice, France, in 2004. He joined the IMDEA Software Institute in April 2008. Previously, he held positions at INRIA Sophia-Antipolis Méditerranée, France; University of Minho, Portugal; Chalmers University, Sweden; CWI, Netherlands; University of Nijmegen, Netherlands.

His research interests include programming languages and program verification, software and system security, cryptography, formal methods and foundations of mathematics and computer science. Since joining IMDEA, his research has focused on building foundations and tools for verifying cryptographic constructions and differentially private computations.