Fakultät für Mathematik und Informatik

Informatik

CONVECS (Construction of Verified Concurrent Systems)
  • 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
     

           Zum Projekt

FACADES: Fingerprinting And CPU Attack and Defense Exploration from browser Scripts/Erforschung von Fingerprinting und CPU Angriffen und Gegenmaßnahmen über Browserskripte
  • 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
     

           Zum Projekt

INCEPTION - Institut Convergence for the study of Emergence of Pathology Through Individuals and Populations
  • 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
     

           Zum Projekt

Plan-Space Explanation in Probabilistic Planning
  • 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