Profil

UnRAVeL hat sich zum Ziel gesetzt, probabilistische Modellierung und Analyse von Ungewissheit durch die Entwicklung neuer Theorien, Algorithmen und Verifikationstechniken signifikant voranzutreiben und auf zentrale Probleme in den Bereichen Sicherheit, Planung, sowie Betriebssicherheit und Leistungsanalyse anzuwenden.

Hierzu bilden theoretische Informatiker aus den Gebieten computerunterstützte Verifikation, Logik und Spieltheorie, Algorithmen und Komplexität zusammen mit Experten aus der Betriebswirtschaftslehre, der angewandten Informatik und dem Eisenbahnwesen den Kern des GKs. Grafik: UnRAVeL

mehr...zu: Profil

Team

58

Das UnRAVeL-Team wächst seit Start im Oktober 2017 stetig.

mehr...zu: Team

 

DFG – deutsche Forschungsgemeinschaft

DFG Logo

Das Graduiertenkolleg UnRAVeL (2236/1) wird gefördert durch die DFG.

mehr...zu: DFG – deutsche Forschungsgemeinschaft

 

Veranstaltungsarchiv

Eröffnungsveranstaltung

Übersicht über die vergangenen UnRAVeL-Veranstaltungen. Foto: UnRAVeL

mehr...zu: Veranstaltungsarchiv

 

Gender & Diversity

dummy teaser bild

UnRAveL setzt sich entschieden für Chancengleichheit und Gleichstellung ein.

weiterlesen...zu: Gender & Diversity

 

Gäste

Gastvortrag

In guter Regelmäßigkeit werden Gastwissenschafterinnen und -wissenschaftler eingeladen.

mehr...zu: Gäste

 

Publikationen

Bücher

Übersicht über alle im Rahmen des Graduiertenkollegs UnRAVeL veröffentlichten Publikationen. Foto: Lukas Netz

mehr...zu: Publikationen