Short introduction

I am a computer scientist interested in analysis, formal verification, and synthesis of cyber-physical and software systems, in safe artificial intelligence, and in symbolic analysis of quantum circuits.
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 the principal investigator of the project Cosyne: Safe Control Systems with Neural Networks, funded by the Independent Research Fund Denmark. I am also a member of the DIREC bridge project on Verifiable and Safe AI for Autonomous Systems, and of the Interreg North Sea project STORM_SAFE on software reliability for critical infrastructures.
A CV is available here.

Pinned

Open positions

  • I have funding for a postdoc in the topic area of Safe Machine Learning for Control (tentative starting date in 2025).
  • Our research group has funding for a postdoc in the topic area of Software Reliability for Critical Infrastructures (tentative starting date in 2025).
  • Our research group has funding for PhD students and postdocs in the topic area of Scalable Analysis and Synthesis of Safe, Secure and Optimal Strategies for Cyber-Physical Systems.
Contact me if you are interested.

photo.jpg

Contact

Aalborg University
Selma Lagerlöfs Vej 300
9220 Aalborg
Denmark

christianms @ cs.aau.dk