Christian Schilling studied in the group of Andreas Podelski at the University of Freiburg in Germany, where he obtained his doctorate degree in 2018. He received a Marie Curie fellowship for his postdoc at IST Austria in the group of Thomas Henzinger until 2020. He then moved to the University of Konstanz, Germany, where he filled a one-year vacant faculty position to get teaching experience.
DESCRIBE YOUR RESEARCH AREA AND FOCUS
- I am interested in the analysis, formal verification, and synthesis of dynamical and cyber-physical systems and AI components. Generally, I enjoy to design algorithms and then develop practical implementations. My main line of research is the development of reachability algorithms, which can be used to analyze the behaviour of complex systems. For instance, we showed how to efficiently analyse linear continuous systems with thousands of dimensions.
I am one of the lead developers of the reachability toolbox JuliaReach, which can analyze linear and nonlinear systems with hybrid (discrete-continuous) dynamics and neural-network controllers. In another line of work, we developed algorithms to synthesize simple mathematical models of hybrid systems from time-series data; such algorithms help automating a time-intensive process for engineers.
WHY DID YOU CHOOSE TO CONTINUE YOUR CAREER AT AALBORG UNIVERSITY?
AAU, and DEIS in particular, is one of the main hubs for the formal analysis of cyber-physical systems in Europe. So, it is a perfect match for me. I am also happy that Denmark is at the forefront of beating COVID-19 and life starts to become "normal" again.
FUN AND OTHER FACTS?
During my postdoc at IST Austria I was introduced to Puzzled Pint (http://www.puzzledpint.com/). It is very simple: People meet at a pub and solve puzzles once a month. There are puzzle groups all over the world, but not yet in Aalborg it seems. If there is interest, let me know!
GOOGLE SCHOLAR PROFILE