About me
Hello! My name is Olzhas Zhangeldinov. I am a PhD student under the supervision of Dr. Tayssir Touili at IRIF, Université Paris Cité, and CNRS.
My research topic is “Analysis of Executable Code”.
I am a part of Automates, structures et vérification pole and Modélisation et vérification thematic team.
Background
I was born and raised in Kazakhstan. I have graduated Nazarbayev University in Astana, Kazakhstan for my undegraduate and master’s programs. During the undergraduate program, I was interested in programming language design. Then, I started my master’s program under the supervision of Dr. Antonio Cerone, with whom I have tried to formalize web service communication using rewrite logic in Maude.
In 2024, I joined IRIF as a PhD student under the supervision of Dr. Tayssir Touili.
Research interests
I am studying analysis of binary programs for malware detection. My work revolves around model checking - a static analysis technique that reasons about the behaviour of some model.
Right now, I am studying these topics:
- Model checking
- Pushdown Systems
- LTL/CTL
- Binary analysis
- Malware detection
How to find me
Feel free to email me or drop by my office #3028 at IRIF.
Publications
- Touili, Tayssir, and Olzhas Zhangeldinov. “LTL Model Checking of Concurrent Self Modifying Code.” In Proceedings: The 29th International Conference on Engineering of Complex Computer Systems (ICECCS 2025). Full Paper
- Zhangeldinov, Olzhas. “Learning from Mistakes in an Open Source Software Course.” In Workshop Proceedings: International Conference on Software Engineering and Formal Methods. Cham: Springer International Publishing, 2021.