Размер:
A A A
Цвет: C C C
Изображения Вкл.Выкл.
Обычная версия сайта
Demidov Yaroslavl State University

Наш адрес: 150003, г. Ярославль, ул. Советская, д. 14
График работы с посетителями в отделах университета:
пн, вт, ср, чт: 9.00-12.00, 14.00-17.00,
пт: 9.00-12.00, 14.00-16.00.
Ректорат: +7 (4852) 797702
Телефон для справок: +7 (4852) 79-77-94
Факс: +7 (4852) 255787
e-mail: rectorat@uniyar.ac.ru

Соколов Валерий Анатольевич

Соколов Валерий Анатольевич
Соколов Валерий Анатольевич
Соколов Валерий Анатольевич
Профессор
Заведующий кафедрой
Ведущий научный сотрудник
д-р физико-математических наук,
профессор
8 4852 7885-87
sokolov@uniyar.ac.ru
Специальность (направление подготовки) Математика
Общий стаж 48 лет
Стаж преподавания 48 лет

Родился: 4 августа 1944 г. в г. Иваново, РФ.

1963–1967: студент Новосибирского государственного университета (специальность – математик, диплом с отличием, 1967).

1968–1971: аспирант отдела математической логики Института математики СО АН СССР (Новосибирск).

1973: Кандидат физико-математических наук. Тема диссертации: "Об алгебре всех частично-рекурсивных функций с операцией суперпозиции", МГПИ им. В.И. Ленина, Москва.

2006: Доктор физико-математических наук. Тема диссертации: "Моделирование распределённых систем и анализ их семантических свойств", ЯрГУ, Ярославль.

Иностранные языки: французский (свободно), английский (рабочий).

Профессиональная деятельность

1988–2000: проректор по учебной работе ЯрГУ, Ярославль.

С 2000 г. - по наст. время: зав. кафедрой теоретической информатики факультета информатики и вычислительной техники ЯрГУ, Ярославль.

Академик Российской академии естественных наук (с 1998), награждён медалью им. П.Л. Капицы РАЕН (2000).

Основатель и главный редактор научного журнала “Моделирование и анализ информационных систем” (с 1999).

Член редколлегий журналов “Автоматика и вычислительная техника” (Рига, Латвия) и “Bulletin of the Novosibirsk Computing Center / Computer Science” (Новосибирск, РФ).

Член Научно-методического совета по математике Министерства образования и науки РФ (с 2001).

Заслуженный работник высшей школы РФ (1999).

Лауреат Премии за 2011 год Международной издательской компании “Наука/Интерпериодика” за лучший цикл публикаций в издаваемых ею журналах (совместно с Е.В. Кузьминым и Д.Ю. Чалым).

Медаль Ордена за заслуги перед Отечеством II степени (2012).

Научный руководитель 9 кандидатов наук и 1 доктора наук (Е.В. Кузьмин)

Научные интересы

Моделирование и анализ информационных систем, распределённые и параллельные системы, формальные модели, семантика, верификация, Model Checking, сети Петри, коммуникационные протоколы, логические контроллеры, облачные кластеры, абстрактные машины, формальные языки, системы переходов, программно-конфигурируемые сети.

Проекты

94-01-01431-а “Модели и алгоритмы рекурсивно-параллельного программирования”, 1994–1996 (РФФИ).

97-01-14001-д Издание монографии "Алгебраическая алгоритмика", 1997–1997 (РФФИ) .

99-01-00309-а “Методы моделирования, анализа и верификации распределенных систем”, 1999–2001 (РФФИ).

03-01-00804-а “Разработка новых методов и средств моделирования и анализа процессов обработки информации в распределенных системах”, 2003–2005 (РФФИ).

05-07-95008-э_д Издание книги "Структурированные системы переходов", 2005 (РФФИ).

№ 07-01-00702-а "Разработка формальных моделей распределенных систем и исследование их семантических свойств" (РФФИ).

№ 02.740.11.0207 от 07.07.2009 "Разработка фундаментальных принципов и инновационных прикладных методов для моделирования, анализа и верификации информационных систем" (ФЦП)

№ 11-07-00549-а "Разработка, моделирование и анализ новых коммуникационных протоколов", 2011–2013.

№ 8.5370.2011 "Разработка формальных моделей информационных систем и исследование их семантических свойств" (ГЗ).

№ 14.В37.21.0392 от 06.08.2012 "Моделирование и анализ информационных и телекоммуникационных систем" (ФЦП).

Конференции

Участие в программных и организационных комитетах конференций.

Сопредседатель орг. комитета Международной конференции "Параллельные компьютерные технологии" РаСТ-97 (Ярославль, 1997 г.).

Член программных комитетов международных научных конференций:

  • “Perspectives of System Informatics” (PSI’99),
  • “Parallel Computing Technologies” (PaCT-2003),
  • Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2008, 2009, 20010, 2011, 2012, 2013, 2014),
  • International Symposium on Business Modeling and Software Design (BMSD 2011, 2012, 2013, 2014),
  • RUSSIR-2012,
  • RCDL-2013, 2014,
  • Семинар “Наукоёмкое программное обеспечение” (конференция PSI-2014),
  • сопредседатель программного комитета Международного семинара «Program Semantics, Specification and Verification: Theory and Applications» (PSSV-2010, 2011, 2012, 2013, 2014).

Публикации (около 150 работ, включая 5 монографий и 7 учебных пособий)

Статьи и материалы конференций

  1. Kuzmin E.V., Sokolov V.A. The Modeling of Counter Machines by Two-Head Finite Automata // Automatic Control and Computer Sciences. 2013. Vol. 47, No. 7, pp. 541–544. .http://link.springer.com/article/10.3103/S0146411613070122
  2. Kuzmin E.V., Sokolov V.A. On Construction and Verification of PLC-Programs // Automatic Control and Computer Sciences. 2013. Vol. 47, No. 7, pp. 443–451.http://link.springer.com/article/10.3103/S0146411613070110
  3. Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ // Программирование. 2009. Т. 35, №1. С. 1–17.
  4. Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. Проблемы ограниченности счетчиковых машин Минского // Программирование. 2010. Т. 36, №1. С. 3–10.
  5. Vinogradov R.A., Sokolov V.A. On a Class of High-Level Finite-State Automata // Automatic Control and Computer Sciences. 2010. No.7, Vol. 44, p. 398–406.http://link.springer.com/article/10.3103/S0146411610070059
  6. Кузьмин Е.В., Соколов В.А., Рябухин Д.А. Построение и верификация LD-программ ПЛК по LTL-спецификации // Моделирование и анализ информационных систем. 2013. Т. 20, №6. С. 78-94. http://mais.uniyar.ac.ru/ru/article/891
  7. Кузьмин Е.В., Соколов В.А., Рябухин Д.А. Построение и верификация ПЛК-программ по LTL-спецификации // Моделирование и анализ информационных систем. 2013. Т. 20, №4. С. 5–22. http://mais.uniyar.ac.ru/ru/articles/20/4
  8. Кузьмин Е.В., Соколов В.А. Моделирование, спецификация и построение программ логических контроллеров // Моделирование и анализ информационных систем. 2013. Т. 20, №2. С. 104–120. http://mais.uniyar.ac.ru/ru/article/786
  9. Кузьмин Е.В., Соколов В.А. О верификации LD программ логических контроллеров // Моделирование и анализ информационных систем. 2012. Т. 19, №2. С. 138–144.http://mais.uniyar.ac.ru/ru/article/624
  10. Кузьмин Е.В., Соколов В.А. О моделировании двухсчетчиковых машин двухголовочными автоматами // Преподавание математики и компьютерных наук в классическом университете: Материалы 4-й научно-методической конференции преподавателей математического факультета и факультета ИВТ ЯрГУ им. П.Г. Демидова., Ярославль: ЯрГУ, 2012. С. 55–59.
  11. Kuzmin E.V., Sokolov V.A. On Verification of LD programs // Proc. of Int. Third Workshop «Program Semantics, Specification and Verification: Theory and Applications». 2012. P. 82–88.
  12. Кузьмин Е.В., Соколов В.А. О построении и верификации программ логических контроллеров // Моделирование и анализ информационных систем. 2012. Т. 19, №4, с. 25–36.http://mais.uniyar.ac.ru/ru/article/656
  13. Кузьмин Е.В., Соколов В.А. Моделирование счетчиковых машин двухголовочными автоматами // Моделирование и анализ информационных систем. 2012. Т. 19, №5, с. 69–73.http://mais.uniyar.ac.ru/ru/article/696
  14. Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. О языках автоматных счетчиковых машин // Материалы Международного семинара «Семантика, спецификация и верификация программ: теория и приложения». Казань, 2010. С. 70–75. (Статья в материалах конференции).
  15. Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. Об одном формальном подходе к построению автоматных программ // Труды межд. конф. «Компьютерные науки и инф. технологии». Саратов, 2009. С. 239–240. (Тезисы доклада).
  16. Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. Автоматные счетчиковые машины // Сборник статей международной научно-практической конференции «Информационно-коммуникативная культура: наука и образование». Ростов-на-Дону, 2009. С. 321–325. (Статья в сборнике конференции).
  17. Кузьмин Е. В., Соколов В. А., Чалый Д. Ю. Формальное построение автоматных программ // Труды Третьей Всероссийской научной конференции «Методы и средства обработки информации». Москва, МГУ, 2009. С. 130–135. (Статья в трудах конференции).
  18. Kuzmin E. V., Sokolov V. A., Chaly D. Ju. Automaton Counter Machines // Proc. of Int. Workshop on Program Understanding (sat. of PSI'09), 2009. P. 1–4. (Статья в трудах конференции).

Книги

  1. Соколов В.А. Введение в теорию формальных языков: Учебное пособие. Ярославль: ЯрГУ. 2014. 208 с.
  2. Белов Ю.А., Соколов В.А. Лекции по математической логике и теории алгоритмов: Учебное пособие. Ярославль: ЯрГУ. 2012. 140 с.
  3. Кузьмин Е.В., Соколов В.А. Автоматные счетчиковые машины: монография. Ярославль: ЯрГУ, 2012. 160 с.

Возврат к списку