News87: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Larry Gonzalez (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Rajab Aghamov wird Mitglied der Gruppe Wissensbasierte Systeme |Titel EN=Rajab Aghamov joins Knowledge Based System group |Beschreibung D…“) |
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]. | ||
<br> | |||
<br> | |||
Rajabs Forschungsinteressen sind formale Verifikation, diskrete lineare Systeme, dynamische Bayessche Netze und topologische Semantiken für Modallogik. | Rajabs Forschungsinteressen sind formale Verifikation, diskrete lineare Systeme, dynamische Bayessche Netze und topologische Semantiken für Modallogik. | ||
<br> | |||
<br> | |||
Wir heißen ihn herzlich willkommen und wünschen ihm das Beste für sein Studium. | Wir heißen ihn herzlich willkommen und wünschen ihm das Beste für sein Studium. | ||
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]. | ||
<br> | |||
<br> | |||
Rajab's research interests are formal verification, discreat linear systems, dynamic bayesian networks and topological semantics for modal logic. | Rajab's research interests are formal verification, discreat linear systems, dynamic bayesian networks and topological semantics for modal logic. | ||
<br> | |||
<br> | |||
We welcome him and wish him the best for his studies. | We welcome him and wish him the best for his studies. | ||
Good luck Rajab! | Good luck Rajab! | ||
Version vom 3. Juli 2023, 13:10 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.
