Участник:ZakharovVA

Захаров Владимир Анатольевич

Захаров Владимир Анатольевич — кандидат физико-математических наук, доцент. Заведующий лабораторией математических проблем компьютерной безопасности.

Области научных интересов

Модели программ

Рассматриваются модели последовательных, рекурсивных и параллельных программ. Исследуются проблемы эквивалентности и эквивалентных преобразований программ.

Темпоральные логики

Рассматриваются темпоральные логики линейного и ветвящегося времени. Проектируются алгоритмы и программы, разрешающие проблему выполнимости в этих логиках. Исследуются возможности применения темпоральных логик для спецификации и верификации параллельных и распределенных программных систем.

Логическое программирование

Разрабатываются и исследуются методы анализа логических программ.

Сети Петри

Решаются задачи анализа сетей Петри. Исследуются возможности применения сетей Петри для моделирования параллельных и распределенных программных систем.

Алгебры процессов

Рассматриваются задачи, связанные с применением различных алгебр процессов для спецификации параллельных и распределенных программных систем.

Лекционные курсы

• Математическая логика и логическое программирование
• Математическая логика и теория множеств
• Введение в теорию алгоритмов
• Введение в теорию автоматов
• Темпоральные логики и их применение для анализа программ

Избранные публикации

1. Формальные модели программ и свободные схемы // Программирование, 1992, N 2, с.10-24
2. Об одном критерии сравнимости операторных формальных моделей программ // Программирование, 1993, N 4, с.12-25
3. О свободных схемах в формальных моделях программ // Математические вопросы кибернетики, 1994, вып. 5, с.208-239
4. Условия сглаживаемости операторных формальных моделей программ // Программирование, 1994, N 5, с.23-40
5. О преобразованиях операторных процедур в логические программы // Программирование, 1994, N 6, с.23-39 (совм. с Маневичем С. И.)
6. Об отношении аппроксимируемости семантик операторных программ // Вестник Московского университета, сер. 15, Вычислительная математика и кибернетика, 1994, N 4, с.54-60
7. О взаимосвязи двух семантик параллельных вычислений (PostScript) // Программирование, 1997, N 6, с.36-48 (совм. с Спанопуло В. В.)
8. To the Relationship between the Interleaving and Causal Models of Parallel Computations (PostScript) // Advances in Modal Logic'96, CSLI Publications,1997, p.221-232 (совм. с Спанопуло В. В.)
9. On the verification of PLTL formulae by means of monotone disjunctive normal forms (PostScript) // Lecture Notes in Computer Science, Springer-Verlag, 1997, v.1234, p.419-429
10. Полиномиальный алгоритм разрешения проблемы эквивалентности унарных линейных рекурсивных схем программ (PostScript) // Сборник трудов II Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-97, с.26-29
11. О проблеме эквивалентности операторных схем на упорядоченных полугрупповых моделях (PostScript) // Сборник трудов III Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-98, с.36-40
12. О моделях систем взаимодействующих операторных программ моделях (PostScript) // Сборник трудов III Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-98, с.36-40 (совм. с Незнановым И. К.)
13. О восстановлении процесса по последовательности срабатывания переходов сети Петри (PostScript) // Вестник Московского университета, сер. 15, Вычислительная математика и кибернетика, 1998, N 4, с.31-34
14. Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ (PostScript) // Доклады РАН, 1998, т. 362, N 6 (совм. с Подловченко Р. И.)
15. Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL и их применение для верификации параллельных программ (PostScript) // Программирование, 1998, N 4 (совм. с Царьковым Д. В.)
16. An Efficient and Unified Approac to the Decidability of Equivalence of Propositional Program Schemes (PostScript) // Lecture Notes in Computer Science, Springer-Verlag, 1998, v.1443, p.247-259.
17. Быстрые алгоритмы разрешения эквивалентности операторных программ на упорядоченных шкалах (PostScript) // Математические вопросы кибернетики, 1998, вып. 7, с.303-324
18. Аппроксимация абстрактных семантик формальными моделями программ // Дискретная математика, 1998, том 10, вып. 4, с.119-141
19. Об эффективной разрешимости проблемы эквивалентности линейных унарных рекурсивных программ (PostScript) // Математические вопросы кибернетики, 1999, вып. 8, с.255-273
20. On the refinement of logic programs by means of anti-unification (PostScript) // Proceedings of the 2nd Panhellenic Logic Symposium, Delphi, Greece, 1999, p.219-224.
21. Быстрые алгоритмы разрешения эквивалентности пропозициональных операторных программ на упорядоченных полугрупповых шкалах (PostScript) // Вестник Московского университета, сер. 15, Вычислительная математика и кибернетика, 1999, N 3, с.29-35
22. О разрешимости проблемы эквивалентности в одном классе операторных программ (PostScript) // Сборник "Прикладная математика и информатика", Изд-во ВМиК МГУ, 1999, вып. 5 с.99-100
23. On the decidability of the equivalence problem for orthogonal sequential programs (PostScript) // Grammars, Kluer Academic Publishers, 1999, v.2, N 3, p.271-281
24. Общие методы построения разрешающих алгоритмов для проблемы эквивалентности пропозициональных операторных программ (PostScript) // Сборник трудов IV Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-00, с.25-29
25. О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ (PostScript) // Сборник трудов IV Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-00, с.29-31 (совм. с Соколовой К. А.)
26. О проблеме эквивалентности для схем программ с операторами засылки констант (PostScript) // Сборник трудов IV Международной конференции "Дискретные модели в теории управляющих систем", Красновидово-00, с.153-154
27. On the Decidability of the Equivalence Problem for Monadic Recursive Programs (PostScript) // Theoretical Information and Applications, 2000, v.34, N 2, p.157-171