Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Dr.-Ing. Egor Derevenetc

Email: derevenetc at

Research Interests

Static program analysis, model checking, parallel architectures, Petri nets.

Reverse engineering, native code decompilation.

Curriculum Vitae

Since March 2011 and until I moved to Yandex in January 2015 I was a PhD student at Fraunhofer ITWM and the Concurrency Theory Group at the University of Kaiserslautern. From September 2005 to June 2010 I studied computational mathematics at the Moscow State University. Before, I finished school in Voronezh, the city where I was born in the year 1988.