Hayk Aslanyan is a Researcher at the System programming laboratory and a lecturer at the Russian-Armenian University. He defended his PhD in 2019 at Ivannikov Institute for System Programming of the RAS. His research interests include software security, computer programs analysis and bug detection. Hayk’s academic experience includes a Bachelor’s and Master’s degrees from Yerevan State University followed by a PhD at the Russian-Armenian University. Hayk is a recipient of numerous Armenian and non-Armenian awards, including the FAST Fellowship program and the State Educational Award of the Republic of Armenia.