News of January 1, 2023

Welcome Rajab Aghamov

We are pleased to welcome Rajab Aghamov as a new PhD student at 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 as a SECAI PhD student and is working on topics which are of joint interest with CPEC.

Rajab got his Bachelors Degree in Mathematics in 2013 from Moscow State University. Later in 2017, he got a Masters Degree in Applied Mathematics and Informatics from Moscow Institute of Physics and Technology under the supervision of Andrey Kudinov.

Rajab's research interests are formal verification, discreat linear systems, dynamic bayesian networks and topological semantics for modal logic.

We welcome him and wish him the best for his studies.

Good luck Rajab!