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 at the Department of Computer Science at Aalborg University (AAU) in Denmark. Since a recent department restructuring, I am a member of the Distributed, Embedded and Intelligent Systems (DEIS) section, where I am co-leading the research group on Quantum Computing and am a member of the research groups Automated System Verification and Validation and Probabilistic and symbolic AI. I am also a member of Aalborg University's Quantum Hub steering group, the TECH faculty's Academic Council, and Aalborg University's Committee for Equality and Diversity.
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 for Classical Communication in the Quantum Era.
A CV is available here.

News

  • I will give a presentation at the Digital Tech Summit 2025.
  • I am the local arrangements chair of the IEEE International Conference on Quantum Control, Computing, and Learning (qCCL) 2026 in Copenhagen. See the past edition here.
  • I am a local co-organizer of the Danish Quantum Community (DQC)'s Scientific Quantum Conference 2026 in Aalborg. See the past edition here.
  • I am co-chairing the Symposium on AI Verification (SAIV) 2026. See the past edition here.

Team

photo.jpg

Contact

Aalborg University
Selma Lagerløfs Vej 300
9220 Aalborg
Denmark

christianms @ cs.aau.dk