Short biography

I am a computer scientist interested in analysis, formal verification, and synthesis of dynamical, cyber-physical, and software systems, and safe artificial intelligence. I am working in the DEIS group at AAU in Denmark. I received my Ph.D. degree under supervision of Andreas Podelski from the University of Freiburg, Germany, in 2018. I was a postdoctoral fellow with Thomas A. Henzinger at IST Austria.
See here for a CV.

photo.jpg

Events

Consider participating in the JuliaReach & JuliaIntervals Days (December 9-11, virtual).

Contact

Aalborg University
Selma Lagerlöfs Vej 300
9220 Aalborg
Denmark

christianms @ cs.aau.dk