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.

I am studying Model Checking of Self-Modifying Dynamic Pushdown Networks - an extension to Pushdown Systems that models dynamic concurrent systems with the ability to modify their own behaviour. Also, I apply the model checking algorithms on binary programs to detect malware statically by analyzing the behaviour of the binary program.