TMPA-2013: keynote speakers
-
Yuri G. Karpov,
Professor, Head of Department of Distributed Computing and Networking of the St. Petersburg State Polytechnic University Technical Cybernetics School SPSPUTCS
Topic: Verification of Parallel Programs – Current Stage and Perspectives (RU)
-
Vladimir A. Zakharov,
Associate Professor of Mathematical Cybernetics Department, Head of Laboratory of Mathematical Problems of Computer Security, Faculty of Computational Mathematics and Cybernetics, Moscow State University (MSU)