ZAKHAROV VLADIMIR
Born: 29.05.1960
E-mail: zakh@cs.msu.su
Education
1977-1982 BSc and MSc in Mathematics (Diploma with Honours), Faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University.
1982-1985 PhD student at the Faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University
Degrees
1987 PhD in Mathematics, Lomonosov Moscow State University. 2012 Habilitation (mathematical cybernetics),
Title of Present Post
Professor, Faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University, MSU-BIT University.
Main areas of research
Automata theory, applied logics, software verification, information security
Academic career
1986-nowadays. Faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University,
Since 1986 research associate,
Since 1992 senior research associate, since 1998 associated professor, since 2013, full professor.
1999-nowadays: Institute for System Programming, Russian Academy of Science, Moscow, senior research associate, (half time).
2015-nowadays. Faculty of Computer Science, Laboratory of Process-Aware Information Systems National Research University Higher School of Economics, leading research associate (half time).
1989-2008: Keldysh Institute for Applied Mathematics, Russian Academy of Sciences, Moscow, research associate, (half time).
2003: National University of Singapore, Singapore, research associate, (invited)
Academic Awards
2019 Best paper award at the 13th International Conference on Language and Automata Theory and Applications
Peer-review activity
), Chairman of Programming Committee
, Member of Programming Committee
7-th Tools & Methods of Program Analysis International Conference (TMPA 2021), Member of Programming Committee
CSMML Workshop 2021: Control Software: Methods, Models, and Languages, Member of Programming Committee
), Chairman of Programming Committee
, Member of Programming Committee
, Member of Programming Committee
), Chairman of Programming Committee
, Member of Programming Committee
6-th Tools & Methods of Program Analysis International Conference (TMPA 2019), Member of Programming Committee
), Chairman of Programming Committee
, Member of Programming Committee
), Chairman of Programming Committee
4-th Tools & Methods of Program Analysis International Conference (TMPA 2017), Member of Programming Committee
, Alerton Press Inc, Member of Editorial Board
and Analysis of Information Systems, Demidov Yaroslavl State University, Member of Editorial Board
Research Projects
Federal research grant
Mathematical models of discrete control systems and their applications funding granted: 3 600 000 rub (appr. 45000 EUR) per annum, 2019-2023 (Head of the Project)
Russian Foundation for Basic Research, 19-01-00702,
Mathematical techniques for data base security in certain cloud computing
environments, funding granted: 3 000 000 rub (appr. 40000 EUR),
2019-2021 (Principal Investigator)
Russian Foundation for Basic Research, 18-01-00854,
On the application of program schemata theory and automata theory to the verification and optimization of programs, funding granted: 2 100 000 rub (appr. 30000 EUR), 2018-2020 (Head of the Project)
Russian Foundation for Basic Research, 16-01-00714,
Studying mathematical models for cloud computing on private data, funding granted: 1 600 000 rub (appr. 25000 EUR), 2016-2018 (Principal Investigator)
Russian Foundation for Basic Research, 16-01-00546,
Application of extended Petri nets for modeling, synthesis and analysis of adaptive distributed information systems, funding granted: 1 000 000 rub (appr. 20000 EUR), 2016-2018 (Principal Investigator)
Russian Foundation for Basic Research, 15-01-05742, Theory of program schemata in optimization, verification and refactoring for sequential and parallel programs, funding granted: 1 000 000 rub (appr. 20000 EUR), 2015-2016 (Principal Investigator), 2017 (Head of the Project)
List of publications
1.Zakharov V. A. Efficient equivalence checking technique for some classes of finite-state machines // Automatic Control and Computer Sciences. — 2021. — Vol. 55, no. 7. — P. 670–701. https://doi.org/
2.Gnatenko A. R., Zakharov V. A. On the model checking problem for some extension of ctl* // Automatic Control and Computer Sciences. — 2021. — Vol. 55, no. 7. — P. 776–785. https://doi.org/
3.Vinarskii E. R., Zakharov V. A. On the modeling of sequential reactive systems by means of real time automata // Automatic Control and Computer Sciences. — 2021. — Vol. 55, no. 7. — P. 751–762. https://doi.org/
4.Zakharov V. A. Equivalence checking of prefix-free transducers and deterministic two-tape automata // Language and Automata Theory and Applications, 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings. — Vol. 11417 of Lecture Notes in Computer Science. — Springer Cham, Switzelrand, 2019. — P. 146–158. https://doi.org/10.1007/978-3-030- 13435-8_11
5.M. M. Abbas, N. P. Varnovskiy, V. A. Zakharov, and A. V. Shokurov. On the deductive security of queries to databases with multi-bit records. Moscow University Computational Mathematics and Cybernetics, 42(1):39–43, 2018. https://doi.org/10.3103/S0278641918010028
6.N. P. Varnovskiy, V. A. Zakharov, and A. V. Shokurov. On the deductive security of queries to confidential databases in cloud computing system. Moscow University Computational Mathematics and Cybernetics, 41(1):38–43, 2017. https://doi.org/10.3103/S0278641917010095
7.V. A. Zakharov and S. R. Jaylauova. On the minimization problem for sequential programs. Automatic Control and Computer Sciences, 51(7):689–700, 2017. https://doi.org/10.3103/S0146411617070288
8.V. A. Zakharov and G. G. Temerbekova. On the minimization of finite state transducers over semigroups. Automatic Control and Computer Sciences, 51(7):523–530, 2017 https://doi.org/10.3103/S0146411617070240
Web page
