Christian Schilling is an Associate Professor at Aalborg University's Department of Computer Science, specializing in formal verification, hybrid systems, and AI verification. His research focuses on neural network verification, reachability analysis, and safety-critical systems. He has published extensively in top-tier venues including AAAI and has contributed to major verification tools and frameworks. He holds a PhD in Computer Science from University of Freiburg and has held research positions at IST Austria and University of Konstanz, making significant contributions to automated verification and synthesis.