معرفی
Christian Schilling serves as Associate Professor in the Department of Computer Science at Aalborg University (AAU), Denmark, where he leads the Distributed, Embedded and Intelligent Systems (DEIS) research group and participates in the Quantum Hub steering group. His academic work centers on critical intersections of computer science, AI safety, and quantum technologies.
His research spans formal verification of cyber-physical systems, neural-network control safety, and quantum circuit equivalence checking. Current projects include the Sapere Aude-funded Cosyne initiative for safe neural-network control systems, the DeiC-supported EQuaL quantum computing project, and EU-coordinated STORM_SAFE for critical infrastructure reliability. His methodology integrates tensor decision diagrams with machine learning for quantum verification.
No scientific awards are documented in the provided materials.
Schilling actively mentors three PhD candidates: Suhaib Al-Rousan (quantum computing/ML co-supervised with Kim G. Larsen and Max Tschaikowski), Fouzi Tabouri (safe neural-network control with Kim G. Larsen), and Asger H. Brorholt (shielded AI in continuous spaces with Kim G. Larsen). His research is funded by Denmark's Independent Research Fund (DFF), Danish e-infrastructure Consortium (DeiC), and Interreg North Sea program, demonstrating sustained grant acquisition capability.
He contributes to the CLASSIQUE basic research center and co-organizes major 2025 academic events including the CONFEST Workshop on Formal Methods in Quantum Computing and D3A Workshop on Verifiable AI, reflecting active community leadership.
