• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
0000
Электронная почта:
Адрес: Старая Басманная ул., д. 21/4, стр. 1, каб. 505
Время работы: 14:00-16:00
Страница в МГУ
ORCID: 0000-0002-3530-5707
ResearcherID: M-9205-2018
Scopus AuthorID: 23399170500
Google Scholar
Блоги и соц. сети
ResearchGate
Academia.edu
Руководитель
Драгалина-Черная Е. Г.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

Золин Евгений Евгеньевич

  • Начал работать в НИУ ВШЭ в 2018 году.
  • Научно-педагогический стаж: 15 лет.

Образование, учёные степени

  • 2002
    Кандидат наук
  • 1997

    Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика. Прикладная математика»

Публикации10

Конференции

  • 2019

    Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Соответствие на счетных структурах и запросы к теориям

  • Trends in Logic 2019: Current Issues in Philosophical Logic (Москва). Доклад: Compactness and saturatedness in definability theorems

  • Всероссийская Конференция «Ломоносовские чтения – 2019» (Москва). Доклад: Критерии аксиоматизируемости в модальной логике

  • 2018

    Formal Philosophy (Москва). Доклад: Duality in abstract definability theory

  • 2017

    Десятые Смирновские чтения по логике (Москва). Доклад: Объединения модально определимых классов моделей

  • Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles) (Москва). Доклад: Axiomatic classes of models in modal logics

  • 2012

    Московские чтения по конструктивной логике и представлению знаний к 60-летию С. Н. Артёмова (Москва). Доклад: Модальная транзитивная логика с градуированными прямыми и обратными модальностями

  • Logical Models of Reasoning and Computation (LRMC 2012) (Москва). Доклад: Graded dependent modal logics

Семинары

  1. 2019.10.31. Доклад "Градуированные модальные логики: аксиоматика, разрешимость, определимость". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  2. 2019.05.19. Доклад "Пропозициональная динамическая логика PDL: обзор". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  3. 2017.09.28. Доклад "Насыщенность и компактность в модальной логике". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  4. 2017.05.25. Доклад "Критерии определимости в модальной логике". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  5. 2016.11.17. Доклад "Инфинитарный оператор почти необходимости". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  6. 2015.12.10. Доклад "О полноте модальных логик, расширенных модальностью транзитивного замыкания". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  7. 2015.03.24. Доклад "Модальные логики, обогащенные модальностью транзитивного замыкания". Семинар «Алгоритмические вопросы алгебры и логики», механико-математический факультет МГУ.
  8. 2014.10.16. Доклад "Фильтруемость регулярных грамматических модальных логик". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  9. 2014.10.09. Доклад "Операции на шкалах, сохраняющие фильтруемость". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  10. 2014.02.27. Доклад "Проблема распознаваемости аксиоматик модальной логики K". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  11. 2013.03.19. Доклад "О понятии выразимости модели Крипке в модальной логике". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  12. 2012.03.27. Доклад "Модальная определимость формул первого порядка и ее применение в базах знаний". Семинар «Алгоритмические вопросы алгебры и логики», механико-математический факультет МГУ.
  13. 2012.03.06. Доклад "Модальная логика с переменными модальностями". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  14. 2012.02.21. Доклад "Модальная логика и запросы к базам знаний". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  15. 2011.10.11. Доклад "Модальная определимость формул первого порядка с несколькими свободными переменными". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.
  16. 2011.04.19. Доклад "Неразрешимость одной градуированной модальной логики". Семинар "Модальная и алгебраическая логика", механико-математический факультет МГУ.

Гранты

Участник грантов РФФИ: 11-01-00281, 11-01-00958, 14-01-93105, 14-01-00127, 16-01-00615.


Опыт работы

февраль 2009 — настоящее время: МГУ им. М.В.Ломоносова, механико-математический факультет, кафедра математической логики и теории алгоритмов, старший научный сотрудник.

  • Семинары по курсу "Введение в математическую логику и теорию алгоритмов", 2-й курс (с 2016 года).
  • Лекции по спецкурсу на английском языке "Дополнительные главы классической логики" (Advanced course in classical logic), 5-й курс (с 2016 года).
  • Спецкурс "Модальная логика", "Дескрипционная логика" (с 2014 года).

2004—2007: университет г.Манчестер (Великобритания), research associate. Проект "Dynamic ontologies".

2000—2004: МГУ им. М.В.Ломоносова. Лекции и семинары по курсу "Алгебра" на Отделении теоретической и прикладной лингвистики филологического факультета (3-й курс).

Евгений Золин выступил с докладом на семинаре в МГУ

31 октября на объединённом семинаре «Логические проблемы информатики» и «Модальная и алгебраическая логика» состоялся доклад Евгения Золина.

Формальная философия 2019

27-28 июня состоялась международная конференция "Formal Philosophy 2019", организованная Международной лабораторией логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). В конференции приняли участие ученые из России, США, Бразилии, Польши, Германии, Австрии, Португалии и Южной Кореи.  Планируется, что конференция станет ежегодным событием.

Сотрудники лаборатории выступили на Одиннадцатых Смирновских чтениях по логике

В конференции приняли участие Павлова А.М., Федянин Д.Н., Золин Е.Е., Драгалина-Черная Е.Г. и Васюков В.Л.

Евгений Золин выступил с докладом на научном семинаре в МГУ

16 мая на мехмате МГУ прошел научный семинар "Модальная и алгебраическая логика", в котором принял участие Евгений Золин, старший научный сотрудник. ЛогЛинФФа.

Евгений Золин выступил на конференции "Ломоносовские чтения 2019"

24 апреля старший научный сотрудник ЛогЛинФФа, Евгений Золин, выступил с докладом "Критерии аксиоматизируемости в модальной логике" на Ломоносовских чтениях 2019.

Конференция «Формальная философия»

1 и 2 октября 2018 года в Высшей школе экономики состоялась Первая международная конференция «Формальная философия», на которой специалисты по логике и формальной философии из разных стран представили и обсудили свои научные идеи.

Опубликован фоторепортаж конференции «Формальная философия»

В ВШЭ прошла международная конференция "Формальная философия", организованная международной лабораторией логики, лингвистики и формальной философии.