News87: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Larry Gonzalez (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Larry Gonzalez (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 3: | Zeile 3: | ||
|Titel EN=Rajab Aghamov joins Knowledge Based System group | |Titel EN=Rajab Aghamov joins Knowledge Based System group | ||
|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 [[Verifikation und formale quantitative Analyse]] und Prof. Dr. [[Markus Krötzsch]] aus der Gruppe [[Wissensbasierte Systeme]]. Rajab ist seit Januar 2023 Teil unseres Teams und beteiligt sich an den Projekten [[SECAI]] und [[CPEC]]. | |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 [[Verifikation und formale quantitative Analyse]] und Prof. Dr. [[Markus Krötzsch]] aus der Gruppe [[Wissensbasierte Systeme]]. Rajab ist seit Januar 2023 Teil unseres Teams und beteiligt sich an den Projekten [[SECAI]] und [[CPEC]]. | ||
<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]. | ||
| Zeile 14: | Zeile 13: | ||
Viel Glück, Rajab! | Viel Glück, Rajab! | ||
|Beschreibung EN=We are pleased to welcome [[Rajab Aghamov]] as a new PhD student at [https://tu-dresden.de/ TU Dresden]. He will work under the supervision of Prof. Dr. [[Christel Baier]] from the [[Verification and formal quantitative Analysis]] group, and Prof. Dr. [[Markus Krötzsch]] from the [[Knowledge-Based Systems]] group. Rajab joined in January 2023 and is affiliated with both [[SECAI]] and [[CPEC]] projects. | |Beschreibung EN=We are pleased to welcome [[Rajab Aghamov]] as a new PhD student at [https://tu-dresden.de/ TU Dresden]. He will work under the supervision of Prof. Dr. [[Christel Baier]] from the [[Verification and formal quantitative Analysis]] group, and Prof. Dr. [[Markus Krötzsch]] from the [[Knowledge-Based Systems]] group. Rajab joined in January 2023 and is affiliated with both [[SECAI]] and [[CPEC]] projects. | ||
<br> | <br> | ||
Rajab got his Bachelors Degree in Mathematics in 2013 from [https://www.msu.ru/en/ Moscow State University]. Later in 2017, he got a Masters Degree in Applied Mathematics and Informatics from [https://mipt.ru/english/ Moscow Institute of Physics and Technology] under the supervision of [https://www.hse.ru/en/org/persons/64523406 Andrey Kudinov]. | Rajab got his Bachelors Degree in Mathematics in 2013 from [https://www.msu.ru/en/ Moscow State University]. Later in 2017, he got a Masters Degree in Applied Mathematics and Informatics from [https://mipt.ru/english/ Moscow Institute of Physics and Technology] under the supervision of [https://www.hse.ru/en/org/persons/64523406 Andrey Kudinov]. | ||
Version vom 3. Juli 2023, 13:11 Uhr
Neuigkeit vom 1. Januar 2023
Rajab Aghamov wird Mitglied der Gruppe Wissensbasierte Systeme
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 Verifikation und formale quantitative Analyse und Prof. Dr. Markus Krötzsch aus der Gruppe Wissensbasierte Systeme. Rajab ist seit Januar 2023 Teil unseres Teams und beteiligt sich an den Projekten SECAI und CPEC.
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 sein Studium.
