SECAI PhD candidate Rajab Aghamov, who originally studied at Moscow University and the Moscow Institute of Physics and Technology with a focus on mathematical logic, now pursues research at the intersection of theoretical computer science and applied mathematics. His current research interests include model checking and LDS. In discrete-time LDSs, a linear map is repeatedly applied to an initial vector, generating a sequence known as the orbit of the system. This sequence can be studied using weight functions, which assign weights to the points in the orbit to model various quantitative aspects such as resource consumption.

In his work, Rajab and co-authors explore several critical problems associated with LDSs. These include calculating the mean payoff, which involves determining the average weight over time for the orbit of the system, and the total accumulated weight, which is the sum of weights over the entire orbit. He also examines the discounted accumulated weight, evaluating the sum of weights with a discount factor applied, which is crucial for modeling long-term resource consumption. His research considers both continuous weight functions and polynomial weight functions as a specific case. Furthermore, he examines special scenarios involving stochastic LDSs and LDSs with bounded orbits. A significant part of his work addresses the decision problem of whether an energy constraint is satisfied by the weighted orbit, ensuring that the accumulated weight never falls below a specified threshold. Rajab`s recognition at such a prestigious conference is a testament to the quality and impact of his research. His achievements not only highlight his individual excellence but also reflect the high standards and supportive environment of the SECAI graduate school at TU Dresden.