Short introduction

I am a computer scientist interested in analysis, formal verification, and synthesis of cyber-physical and software systems, and in safe artificial intelligence.
I work in the research group on Distributed, Embedded and Intelligent Systems (DEIS) at the Department of Computer Science at Aalborg University (AAU) in Denmark. I am also a member of the DIREC bridge project on Verifiable and Safe AI for Autonomous Systems.
I received my Ph.D. degree under supervision of Andreas Podelski from the University of Freiburg in 2018 and was a postdoctoral fellow with Thomas A. Henzinger at ISTA.
See here for a CV.

Pinned

  • I co-organize the third edition of the WOLVERINE workshop at CAV 2023 in Paris on July 17.

photo.jpg

Contact

Aalborg University
Selma Lagerlöfs Vej 300
9220 Aalborg
Denmark

christianms @ cs.aau.dk