Professor Joost-Pieter Katoen vom Lehrstuhl für Informatik 2 der RWTH ist Leiter des neuen Graduiertenkollegs "UnRAVeL". Das Kolleg beschäftigt sich mit dem Thema "Unsicherheit in der Informatik", Ziel ist die Entwicklung neuer Theorien, Algorithmen und Verifikationstechniken. Forschende aus den Bereichen Informatik, Mathematik, BWL und Eisenbahnwesen bilden den Kern des Kollegs, das eine optimale Forschungsumgebung für Doktorandinnen und Doktoranden bietet.
Weitere Informationen zu UnRAVeL: [ Ссылка ]
Ещё видео!