Alexander Sergeevich KAMKIN
Plekhanov Russian University of Economics, Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Cand. Sci. (Phys.-Math.), leading researcher at ISP RAS and Plekhanov Russian University of Economics; teaches at MSU, MIPT, HSE, and PRUE. Research interests: formal methods, synthesis and verification of digital hardware, and heterogeneous computer systems.

Mikhail Yurievich LITVINOV
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Laboratory assistant at Software Engineering Department of ISP RAS. Research interests: automated design of heterogeneous computer systems.

Ivan Aleksandrovich GRIGOROV
Ivannikov Institute for System Programming of the Russian Academy of Sciences
Russian Federation

Engineer assistant at Software Engineering Department of ISP RAS. Research interests: high-level synthesis and dataflow models.