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 as associate professor in the research group on Distributed, Embedded and Intelligent Systems (DEIS) at the Department of Computer Science at Aalborg University (AAU) in Denmark, where I am also a member of the Quantum Hub steering group.
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 Interreg North Sea project STORM_SAFE on software reliability for critical infrastructures.
A CV is available here.

Open positions

  • I have funding for a PhD student and a postdoc in the topic area of Safe Machine Learning for Control (tentative starting date in 2025).
  • I have 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.

Team

photo.jpg

Contact

Aalborg University
Selma Lagerlöfs Vej 300
9220 Aalborg
Denmark

christianms @ cs.aau.dk