Fakultät für Mathematik und Informatik

Ansprechpartner an der UdS: Dr. Hubert Garavel (Gastwissenschaftler am Lehrstuhl von Prof. Holger Hermanns, Dependable Systems and Software)
In Kooperation mit: Institut national de recherche en sciences et technologies du numérique Grenoble
Format: Gastdozentur/Wissenschaftliche Kooperation
Laufzeit: seit 2012

Ansprechpartner an der UdS: Prof. Dr. Sebastian Hack (Programming), Prof. Dr. Jan Reineke (Real-Time and Embedded Systems)
In Kooperation mit: CISPA (Helmholtz-Zentrum für Informationssicherheit), Université de Lille/CNRS (Centre national de la recherche scientifique)
Format: DFG-ANR-Projekt
Gefördert durch: ANR (Agence nationale de recherche), DFG (Deutsche Forschungsgemeinschaft)
Laufzeit: seit 2021

Ansprechpartner an der UdS: Prof. Dr. Sven Rahmann (Algorithmische Bioinformatik)
In Kooperation mit: Institut Pasteur; Assistance publique - Hôpitaux de Paris, CNG (Centre national de génotypage), CNRS (Centre national de la recherche scientifique), CRI (Centre des recherches interdisciplinaires), ENS (École normale supérieure), INRA (Institut de la recherche agronomique), Inserm (Institut national de la santé et de la recherche médicale), PSL (Paris Sciences et Lettres) Research University Paris, Université Paris Descartes, Université Paris Diderot
Format: Forschungsgruppe
Gefördert durch: ANR (Agence nationale de recherche)
Laufzeit: seit 2017

Ansprechpartner an der UdS: Prof. Dr. Jörg Hoffmann (Foundations of Artificial Intelligence Group)
In Kooperation mit: Institut national de recherche en sciences et technologies du numérique Grenoble, Institut national de recherche en sciences et technologies du numérique Nancy
Format: Projektbezogene Zusammenarbeit mit dem Team LARSEN (Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment)
Laufzeit: seit 2015