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

12-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2021), Chairman of Programming Committee

15-th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2021), 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

11-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2020), Chairman of Programming Committee

14-th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2020), Member of Programming Committee

3-rd International Science and Technology Conference «Modern Network Technologies, MoNeTec - 2020», Member of Programming Committee

10-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2019), Chairman of Programming Committee

13-th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2019), Member of Programming Committee

6-th Tools & Methods of Program Analysis International Conference (TMPA 2019), Member of Programming Committee

9-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018), Chairman of Programming Committee

12-th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCOSE 2018), Member of Programming Committee

8-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2017), Chairman of Programming Committee

4-th Tools & Methods of Program Analysis International Conference (TMPA 2017), Member of Programming Committee

Automatic Control and Computer Sciences, Alerton Press Inc, Member of Editorial Board

Modelling 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/10.3103/S014641162107018X

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/10.3103/S0146411621070051

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/10.3103/S0146411621070178

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

https://istina.msu.ru/profile/Vladimir_Zakharov/