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
Электронная почта: [email protected]
Список литературы, представленной на выставке:
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.
