Н. В. Шилов

Общая информация
Николай Вячеславович Шилов
Институт систем информатики СО РАН
http://persons.iis.nsk.su/en/person/shilov
О лекторе К.ф.-м.н., с.н.с. Института систем информатики СО РАН. В 1983 г. закончил Механико-математический факультет Новосибирского государственного университета, в 1987 - аспирантуру Вычислительного центра Сибирского отделения АН ССР в Новосибирске. Основное место работы после аспирантуры - лаборатория Теоретического программирования в Институте систем информатики Сибирского отделения РАН. Преподавал в Новосибирском государственном университете, Новосибирском государственном техническом университете, University of Technology (Sydney), Korea Advanced institute of Science and Technology, University of Canterbury (Christchurch), Chun-Ang University (Seoul). Со студенчества мои научные интересы лежат на стыке теории программирования и прикладной математической логики. Вот уже почти 30 лет я занимаюсь изучением алгоритмических свойств проблемно-ориентированных модальных логик. Речь идет о таких логиках, как темпоральная, динамическая, дескриптивная логика, логика знаний и т.п.; алгоритмические свойства, представляющие интерес, - это аксиоматизируемость, разрешимость, проверка на моделях. Основная область приложений этих теоретических исследований - это формальная семантика, методы формальной спецификации и верификация.
Курсы
весна 2012 О формальной семантике программ - просто Екатеринбург (Ekaterinburg)
Share |
Кофе-брейк с Н. В. Шиловым
Н. В. Шилов