Dr.-Ing. Egor DerevenetcEmail: derevenetc at cs.uni-kl.de
Static program analysis, model checking, parallel architectures, Petri nets.
Reverse engineering, native code decompilation.
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.