Rajab Aghamov wird Mitglied der Gruppe Wissensbasierte Systeme
Aus International Center for Computational Logic
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.
