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 (DFF), and 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). I am also a member of the project STORM_SAFE: Software reliability for critical infrastructures, funded by the EU Interreg North Sea program.
A CV is available here.

News

  • I have an opening for a PhD student and a postdoc on verification of neural networks for control. Please apply at the corresponding link before March 2. If you are interested in doing a PhD but have not graduated yet, there may be another call later this year. Feel free to contact me.

Open positions

  • I have funding for a Ph.D. student and a postdoc in the topic area of Safe Machine Learning for Control (see the application links above).
  • I have funding for a postdoc in the topic area of Software Reliability for Critical Infrastructures.
  • Our research group has funding for Ph.D. 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