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 quantum computing.
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 Sapere Aude project Cosyne: Safe control systems with neural networks, funded by the Independent Research Fund Denmark (DFF), a co-investigator of the project EQuaL: Equivalence checking of quantum circuits via tensor decision diagrams and machine learning, funded by the Danish e-infrastructure Consortium (DeiC), and AAU's coordinator of the EU project STORM_SAFE: Software reliability for critical infrastructures, funded by the Interreg North Sea program. I am also an associated member of the basic research center CLASSIQUE.
A CV is available here.

News

Open positions

  • Our research group has funding for Ph.D. students and postdocs in the research 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