Ilya Klyuchnikov

Ilya Klyuchnikov
(Илья Григорьевич Ключников)

Researcher
M.V.Keldysh Institute of Applied Mathematics
The Russian Academy of Sciences
(Program analysis and transformation group)

Projects

Publications

Slides

Background

I'm a graduate of applied mathematics and physics from Moscow Institute of Physics and Technology, Department of Aeromechanics and Flying Engineering, Aircraft Ballistics, Aerodynamics and Control chair.

2007-2010: Postgraduate student at M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow.

2010, November: Ph.D., Mathematics and physics, M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow. Thesis: "Inferring and proving properties of functional programs by means of supercompilation"

2010-now: Researcher, M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow