Disputation: Herr Arut Prakash Kaleeswaran, M.Sc.
- https://www.informatik.hu-berlin.de/de/events/disputation-herr-arut-prakash-kaleeswaran-m-sc
- Disputation: Herr Arut Prakash Kaleeswaran, M.Sc.
- 2023-12-01T13:00:00+01:00
- 2023-12-01T23:59:59+01:00
- "Explanation of the Model Checker Verification Result"
- Wann 01.12.2023 ab 13:00 Uhr
- Wo Rudower Chaussee 25, Humboldt-Kabinett 3.116
- Name des Kontakts Prof. Dr. Matthias Weidlich
-
iCal
Im Rahmen seines Promotionsverfahrens verteidigt Herr Arut Prakash Kaleeswaran, M.Sc.
seine Dissertation "Explanation of the Model Checker Verification Result"
Die hochschulöffentliche Disputation findet statt am Freitag, 01.12.2023, 13.00 Uhr c.t., Rudower Chaussee 25, 12489 Berlin, Humboldt-Kabinett.
Die Disputation wird mit der Möglichkeit einer Online-Teilnahme für Mitglieder der Kommission und für Gäste
(auf Antrag) durchgeführt. Interessierte melden sich bitte rechtzeitig vorher bei Prof. Weidlich per E-Mail (matthias.weidlich@hu-berlin.de).
Gutachter:
Prof. Dr. Lars Grunske (Humboldt-Universität zu Berlin)
Prof. Dr. Matthias Tichy (Universität Ulm)
Prof. Dr. Stefan Wagner (Universität Stuttgart)
Weitere Mitglieder:
Prof. Dr. Holger Schlingloff (Humboldt-Universität zu Berlin)
Dr. Marcus Hilbrich (Humboldt-Universität zu Berlin)
Alexander Schultheiß, M.Sc. (Humboldt-Universität zu Berlin)