Short introductionI 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
Team
|
ContactAalborg UniversitySelma Lagerlöfs Vej 300 9220 Aalborg Denmark christianms @ cs.aau.dk
|