Institute for Computing and Information Sciences, Radboud University Nijmegen.


The Lava-Lab, headed by Prof. Dr. Nils Jansen, conducts broad foundational and application-driven research in artificial intelligence (AI), in particular neurosymbolic AI. We bring together the areas of machine learning and formal methods. We tackle problems that are inspired by autonomous systems, industrial projects, and in particular planning problems in robotics.