30.07.2019

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

4 августа - юбилей у Валерия Анатольевича Соколова – заведующего кафедрой теоретической информатики факультета ИВТ, профессора, доктора физико-математических наук. 

Валерий Анатольевич родился в г. Иваново. Окончил механико-математический факультет Новосибирского государственного университета. 

С 1971 г. работал на кафедре теоретической кибернетики ЯрГУ им. П. Г. Демидова.

С 1979 по 1983 г.г. – доцент кафедры математики Национального института нефти и газа в Алжире.

С 1988 г. по 2000 г. – проректор по учебной работе ЯрГУ им. П. Г. Демидова.  

С 2000 г. по настоящее время – заведующий кафедрой теоретической информатики факультета ИВТ.

Член диссертационного Совета ЯрГУ, председатель секции информатики и прикладной математики ВВЦ РАЕН, Эксперт Российского фонда фундаментальных исследований. Также является руководителем исследовательской группы от ЯрГУ им. П. Г. Демидова в рамках международного научного проекта INTAS - РФФИ «Модели и средства для анализа и верификации распределенных систем» в составе исследовательских групп Института информатики и прикладной математики Университета Жозефа Фурье (Гренобль, Франция), Университета им. Гумбольдта (Берлин, Германия), Института систем информатики им. А. П. Ершова СО РАН (Новосибирск, Россия). Академик РАЕН, действительный член Нью-Йоркской Академии наук (1996 г.)

В. А. Соколов за свои научные достижения  награжден медалью им. П. Л. Капицы РАЕН (2000 г.) и медалью Ордена за заслуги перед Отечеством II степени (2012 г.)

Валерий Анатольевич – видный ученый в области теоретической информатики, с 1999 г. он является основателем и главным редактором научного журнала «Моделирование и анализ информационных систем». Также он – член редколлегий 2-х научных журналов: «Автоматика и вычислительная техника» (Рига, Латвия) и «Bulletin of the Novosibirsk Computing Center/Computer Science» (Новосибирск, Россия). Автор и соавтор монографий и учебных пособий с грифами Министерства общего и профессионального образования России – имеет более 150 научных работ, включая 5 монографий и 7 учебных пособий.

Валерий Анатольевич – талантливый преподаватель, среди учеников которого 9 кандидатов наук и 1 доктор наук, признанный лидер ярославской научной школы теоретической информатики. Возглавляемый им научный коллектив получил известность и признание в России и за рубежом. 

В 2000 году В. А. Соколову присвоено звание заслуженного работника высшей школы РФ. Свободно владеет французским и английским языками.

Со своей стороны мы с гордостью можем назвать Валерия Анатольевича одним из самых давних и постоянных читателей нашей библиотеки. 

От всей души поздравляем В. А. Соколова с юбилеем и приглашаем посетить нашу выставку!

Выставка расположена по адресу: 150008, г. Ярославль, ул. Союзная, 144

График работы:

понедельник - пятница: с 08.30 до 16.30

суббота, воскресенье: выходной день

Зав. отделом - Лисаева Наталия Борисовна

Контактный телефон: (4852) 78-86-67

Электронная почта: lib7corp@uniyar.ac.ru  

Список литературы, представленной на выставке:

1. Алексеев И. В. Моделирование и анализ транспортных протоколов в информационных сетях. / И. В. Алексеев, В. А. Соколов, Д. Ю. Чалый; под ред. В. А. Соколова; Яросл. гос. ун-т им. П. Г. Демидова - Ярославль: ЯрГУ, 2004. - 261 с.

2. Белов Ю. А. Лекции по математической логике и теории алгоритмов: учеб. пособие для студентов, обучающихся по направлению Фундаментальная информатика и информационные технологии. / Ю. А. Белов, В. А. Соколов; Яросл. гос. ун-т им. П. Г. Демидова, Науч.-метод. совет ун-та - Ярославль: ЯрГУ, 2012. - 138 с.

3. Быкова Н. Д. Задачник по формальным языкам. / Н. Д. Быкова, В. А. Соколов; Яросл. гос. ун-т им. П. Г. Демидова - Ярославль: ЯрГУ, 2016. - 51 с.

4. Валерий Анатольевич Соколов: биобиблиографический указатель. / сост. И. В. Денежкина, И. Ю. Кормнова; Яросл. гос. ун-т им. П. Г. Демидова - Ярославль: ЯрГУ, 2009. - 32 с.

5.  Власова Е.Ю. Моделирование организации управления трафиком средствами AnyLogic. / Е.Ю. Власова, В.А. Соколов // Заметки по информатике и математике: сборник науч. статей / [отв. ред. А. Н. Морозов]. - Ярославль: ЯрГУ. - 2015. - Вып. 7. - С.38-43.;

6. Каряева М.С. Обзор методов извлечения гипо/гиперонимов из коллекций документов. / М.С. Каряева, В.А. Соколов // Заметки по информатике и математике: сборник науч. статей / [отв. ред. А. Н. Морозов]. - Ярославль: ЯрГУ. - 2015. - Вып. 7. - С.53-58.;

7. Кузьмин Е. В. Автоматные счетчиковые машины: монография. / Е. В. Кузьмин, В. А. Соколов; Яросл. гос. ун-т им. П. Г. Демидова - Ярославль: ЯрГУ, 2012. - 158 с.

8. Кузьмин Е. В. Вполне структурированные системы помеченных переходов. / Е. В. Кузьмин, В. А. Соколов - М.: Физматлит, 2005. - 170 с.

9. Кузьмин Е.В. Моделирование счетчиковых машин двухголовочными автоматами. / Е.В. Кузьмин, В.А. Соколов // Моделирование и анализ информационных систем. - Ярославль: Ярославский государственный университет им. П. Г. Демидова. - 2012. - Т. 19 № 5. - С.69-73.;

10. Кузьмин Е. В. О дисциплине специализации "Верификация программ". / Е. В. Кузьмин, В. А. Соколов // Преподавание математики и компьютерных наук в классическом университете : материалы 2-й научно-методической конференции. - Ярославль, 2007. - С.91-102.

11. Кузьмин Е. В. О моделировании двухсчетчиковых машин двухголовочными автоматами. / Е. В. Кузьмин, В. А. Соколов // Преподавание математики и компьютерных наук в классическом университете: материалы 4-й науч.-метод. конференции преподавателей математ. факультета и факультета информатики и вычислительной техники Яросл. гос. ун-та им. П. Г. Демидова / отв. ред. М. В. Невский. - Ярославль: ЯрГУ, 2012. - С.55-59.

12.  Кузьмин Е.В. Построение и верификация LD-программ ПЛК по LTL-спецификации. / Е.В. Кузьмин, В.А. Соколов, Д.А. Рябухин // Моделирование и анализ информационных систем / Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль: ЯрГУ. - 2013. - Т. 20, № 6. - С.78-94.;

13. Кузьмин Е.В. Проблемы реализации дисциплины "Неклассические логики" в рамках образовательной программы бакалавриата по направлению "Фундаментальная информатика и информационные технологии". / Е.В. Кузьмин, В.А. Соколов // Актуальные проблемы совершенствования высшего образования: материалы XII межвузовской науч.-метод. конференции, посвященной 210-летию высшего образования в Ярославской области / отв. ред. Е. В. Сапир. - Ярославль: ЯрГУ, 2013. - С.554-556.

14. Парамонов И. В. О подготовке ИТ-специалистов на факультете информатики и вычислительной техники ЯрГУ им. П. Г. Демидова. / И. В. Парамонов, В. А. Соколов, Д. Ю. Чалый // Преподавание математики и компьютерных наук в классическом университете: материалы 3-й науч.-метод. конференции преподавателей математ. факультета и факультета информатики и вычислительной техники Яросл. гос. ун-та им. П. Г. Демидова / отв. ред. М. В. Невский. - Ярославль: ЯрГУ, 2010. - С.126-132.

15. Соколов В. А. Безопасность потоков данных в программно-конфигурируемых сетях. / В. А. Соколов, Д. Ю. Чалый // Интегрируемые системы и нелинейная динамика: тезисы докладов Международной научной конференции, 1–5 октября 2018 г., Ярославль / Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль: ЯрГУ, 2018. - С. 115-117

16. Соколов В. А. Введение в теорию формальных языков: учеб. пособие для студентов, обучающихся по направлению Прикладная математика и информатика. / В. А. Соколов; Яросл. гос. ун-т им. П. Г. Демидова, Науч.-метод. совет ун-та - Ярославль: ЯрГУ, 2014. - 206 с.

17. Соколов В. А. О направлениях современных научных исследований кафедры теоретической информатики. / В. А. Соколов // Научные исследования факультета ИВТ: сборник статей к 25-летию факультета / отв. ред. В. А. Соколов. - Ярославль: ЯрГУ, 2011. - С.104-106.

18. Соколов В.А. Об организации учебных занятий с продвинутыми студентами на факультете ИВТ. / В.А. Соколов, Д.Ю. Чалый // Актуальные проблемы совершенствования высшего образования: материалы XII межвузовской науч.-метод. конференции, посвященной 210-летию высшего образования в Ярославской области / отв. ред. Е. В. Сапир. - Ярославль: ЯрГУ, 2013. - С.206-208.

19. Соколов В. А. Оптимизация обработки запросов к информационным системам методами тмо. / В. А. Ссоколов // Материалы Всероссийской научной конференции, посвященной 200-летию Ярославского государственного университета им. П. Г. Демидова. Информатика и вычислительная техника, 30-31 октября 2003 г.. - Ярославль, 2003. - С.13-16.

20. Соколов В. А. Особенности восприятия федеральных и региональных политических лидеров жителями Ярославской области (2010-2018 гг.): сравнительный анализ. / В. А. Соколов, Н. В. Киселева // Социальные и гуманитарные знания: научный журнал. - Ярославль: Ярославский государственный университет им. П. Г. Демидова. - 2018. - Т. 4, № 2. - С.108-116: табл.;

21. Соколов В. А. Синхронная модель автоматной программы. / С. В. Кубасов, В. А. Соколов // Моделирование и анализ информационных систем. - 2007. - Т.14,№1. - С. 11-18;

22. Соколов В. А. Система Moodle. / В. А. Соколов, Д. Ю. Чалый // Актуальные проблемы совершенствования подготовки специалистов в вузе: сборник материалов конференции. - Ярославль, 2007. - С.36-39.

23. Соколов В. А. Технологии трансляции: учеб. пособие. / В. А. Соколов, Д. Ю. Чалый; Яросл. гос. ун-т - Ярославль: Б.и., 2008. - 122 с.

24. Соколов В. А. Формальные языки и грамматики: Курс лекций. / В.А.Соколов; Яросл.гос.ун-т - Ярославль: ЯрГУ, 2003. - 151с.

25. Соколов В. А. Языки,автоматы,грамматики: Метод.указания. / В.А.Соколов; Яросл.гос.ун-т - Ярославль: ЯрГУ, 2003. - 26с.

26. Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний. / В.Н. Бойков, В.Е. Захаров, М.С. Каряева, В.А. Соколов // Моделирование и анализ информационных систем / Яросл. гос. ун-т им. П. Г. Демидова. - Ярославль: ЯрГУ. - 2013. - Т.20,№ 4. - С.125-135.