Infos pour
Accès direct
UFR
- Pôle France /
- Frankreich- und Frankophonie-Forschung an der Saar-Uni /
- Fakultät für Mathematik und Informatik
Fakultät für Mathematik und Informatik
Informatik
CONVECS (Construction of Verified Concurrent Systems)
FACADES: Fingerprinting And CPU Attack and Defense Exploration from browser Scripts/Erforschung von Fingerprinting und CPU Angriffen und Gegenmaßnahmen über Browserskripte
INCEPTION - Institut Convergence for the study of Emergence of Pathology Through Individuals and Populations
Plan-Space Explanation in Probabilistic Planning
- 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