Nils Jansen is a tenured assistant professor at the Institute for Computing and Information Science (iCIS) at the Radboud University, Nijmegen, The Netherlands. He received his Ph.D. with distinction from RWTH Aachen University, Germany in 2015. Prior to Radboud University, he was a postdoc and research associate at the University of Texas at Austin. Dr. Jansen's current research is on formal reasoning about safety and dependability aspects in artificial intelligence (AI). At the heart of his research is the development of concepts from formal methods and control theory to reason about uncertainty and partial information in AI systems. He holds several grants within this area, both in academic and industrial settings. Dr. Jansen is a member of the European Lab for Learning and Intelligent Systems (ELLIS).

---