News87: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Alex Ivliev (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
||
| Zeile 2: | Zeile 2: | ||
|Titel DE=Herzlich willkommen Rajab Aghamov | |Titel DE=Herzlich willkommen Rajab Aghamov | ||
|Titel EN=Welcome Rajab Aghamov | |Titel EN=Welcome Rajab Aghamov | ||
|Beschreibung DE=Wir freuen uns, [[Rajab Aghamov]] als neuen Doktoranden an der [https://tu-dresden.de/ TU Dresden] begrüßen zu dürfen. Betreut wird er von Prof. Dr. [[Christel Baier]] aus der Gruppe [[ | |Beschreibung DE=Wir freuen uns, [[Rajab Aghamov]] als neuen Doktoranden an der [https://tu-dresden.de/ TU Dresden] begrüßen zu dürfen. Betreut wird er von Prof. Dr. [[Christel Baier]] aus der Gruppe [[Algebraische und logische Grundlagen der Informatik]] und Prof. Dr. [[Markus Krötzsch]] aus der Gruppe [[Wissensbasierte Systeme]]. Rajab ist im Januar 2023 als [[SECAI]]-Doktorand unserem Team beigetreten und forscht zudem an Themen, die für das Projekt [[CPEC]] von Interesse sind. | ||
<br> | <br> | ||
Rajab erhielt seinen Bachelor in Mathematik an der [https://www.msu.ru/en/ Staatlichen Universität Moskau] und seinen Master in Angewandter Mathematik und Informatik am [https://mipt.ru/english/ Moskauer Institut für Physik und Technologie] unter der Betreuung von [https://www.hse.ru/en/org/persons/64523406 Andrey Kudinov]. | Rajab erhielt seinen Bachelor in Mathematik an der [https://www.msu.ru/en/ Staatlichen Universität Moskau] und seinen Master in Angewandter Mathematik und Informatik am [https://mipt.ru/english/ Moskauer Institut für Physik und Technologie] unter der Betreuung von [https://www.hse.ru/en/org/persons/64523406 Andrey Kudinov]. | ||
Aktuelle Version vom 5. März 2025, 14:48 Uhr
Neuigkeit vom 1. Januar 2023
Herzlich willkommen Rajab Aghamov
Wir freuen uns, Rajab Aghamov als neuen Doktoranden an der TU Dresden begrüßen zu dürfen. Betreut wird er von Prof. Dr. Christel Baier aus der Gruppe Algebraische und logische Grundlagen der Informatik und Prof. Dr. Markus Krötzsch aus der Gruppe Wissensbasierte Systeme. Rajab ist im Januar 2023 als SECAI-Doktorand unserem Team beigetreten und forscht zudem an Themen, die für das Projekt CPEC von Interesse sind.
Rajab erhielt seinen Bachelor in Mathematik an der Staatlichen Universität Moskau und seinen Master in Angewandter Mathematik und Informatik am Moskauer Institut für Physik und Technologie unter der Betreuung von Andrey Kudinov.
Rajabs Forschungsinteressen sind formale Verifikation, diskrete lineare Systeme, dynamische Bayessche Netze und topologische Semantiken für Modallogik.
Wir heißen ihn herzlich willkommen und wünschen ihm das Beste für seine Promotion.
