Nils Jansen benoemd tot hoogleraar Safe and Dependable Artificial Intelligence

Nils Jansen is per 1 september 2025 benoemd tot hoogleraar Safe and Dependable Artificial Intelligence aan de Faculteit der Natuurwetenschappen, Wiskunde en Informatica van de Radboud Universiteit.

Het onderzoek van Jansen heeft een duidelijke visie: het vergroten van de betrouwbaarheid van kunstmatige intelligentie (AI). De onderzoeksgroep van Jansen doet breed fundamenteel en toepassingsgericht onderzoek. Hun visie op neurosymbolische kunstmatige intelligentie combineert het gebied van machine learning en formele methoden, met een bijzondere focus op formele verificatie. Het team pakt problemen aan die zijn geïnspireerd door autonome systemen en planningsproblemen in de robotica. De volgende doelstellingen staan centraal in de inspanningen van Jansens groep:

Jansen is geïnteresseerd in verschillende aspecten van betrouwbaarheid en veiligheid in AI, intelligente besluitvorming onder onzekerheid en veilig versterkend leren. Een belangrijk aspect van Jansens onderzoek is een grondig begrip van de (epistemische of aleatorische) onzekerheid die kan optreden wanneer AI-systemen in de echte wereld worden toegepast.

Jansen (1982, Simmerath, Duitsland) begon zijn academische carrière aan de RWTH Aachen University, waar hij een diploma in computerwetenschappen behaalde. Hij vervolgde zijn studie aan de RWTH Aachen University, waar hij summa cum laude promoveerde. In 2015 voltooide hij zijn proefschrift Counterexamples in Probabilistic Verification, over het opsporen van bugs in systemen die probabilistisch gedrag vertonen.

Na zijn promotie in Aken verhuisde Jansen naar de Verenigde Staten om daar als postdoctoraal onderzoeker te werken. Jansen werkte iets meer dan een jaar aan de Universiteit van Texas in Austin, voordat hij zijn tenure track-positie als assistent-professor aan de Radboud Universiteit begon. Hij werkte meer dan zes jaar fulltime aan de Radboud Universiteit, voordat hij zijn functie als hoogleraar aan de Ruhr-Universiteit Bochum in Duitsland aanvaardde, waar hij ook de leerstoel AI en Formele Methoden bekleedt. Daarnaast is hij fellow van het European Laboratory for Learning and Intelligent Systems (ELLIS).