Попова Елена Леонидовна
- Стажер-исследователь: Международная лаборатория логики, лингвистики и формальной философии
- Начала работать в НИУ ВШЭ в 2020 году.
Oбразование
Диплом с отличием.
Дополнительное образование / Повышение квалификации / Стажировки
Участие в летних школах:
- 2022, ФсФ ТГУ, "Летняя школа по аналитической философии языка и логике";
- 2021, online, "32nd European Summer School in Logic, Language and Information";
- 2021, Artificial Intelligence and Computer Science Lab of the University of Porto (online), "European Agent Systems Summer School".
Учебные курсы (2022/2023 уч. год)
- Логика (Бакалавриат; где читается: Факультет креативных индустрий направление: 42.03.01. Реклама и связи с общественностью, направление: 42.03.01. Реклама и связи с общественностью; 1-й курс, 1 модуль)рус
Мини-курсы на летних школах и семинарах МЛ ЛогЛинФФ
- "Эпистемическая логика: исчисления и модели (advanced)", Летняя школа "Логика и формальная философия";
- “Эпистемические задачи и парадоксы: неформальное введение“, 1-я летняя школа Международной лаборатории логики, лингвистики и формальной философии;
- "Введение в структурную теорию доказательств", мини-курс на научно-учебном семинаре МЛ ЛогЛинФФ "Логическая семантика".
Опыт работы
2019—2020 гг. — стажер-исследователь, участие в проекте «Стажировка в международной лаборатории логики, лингвистики и формальной философии»;
2020—2022 — участие в проекте «Логико-философский калькулятор: интерактивные модели для вычислительной философии и вычислительной семантики»;
2020—2022 — учебный ассистент по дисциплине «Логика» ОП Философия НИУ ВШЭ;
2020—н.в. — стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии, НИУ ВШЭ;
2023—2024 — стажер-исследователь, отдел математической логики, Математический институт им. В.А. Стеклова Российской академии наук;
Информация*
- Общий стаж: 4 года
Избранные доклады
- «Семантика логики свидетельств первого порядка со связывающей модальностью» (совместно с Т. Л. Яворской) / «IV Конференция математических центров России», Санкт-Петербургский государственный университет, 07.08.2024
- «Temporal Epistemic Logic for Reasoning with Delay in Awareness» / «Semantical and Computational Aspects of Non-Classical Logics 2023», Steklov Mathematical Institute, 15.06.2023
- «Temporal Epistemic Logic for Agents with Delay in Awareness» / «Logic Colloquium 2023 – European Summer Meeting of the Association for Symbolic Logic», University of Milan, 09.06.2023
- «Динамическая эпистемическая логика как инструмент анализа прагматических явлений» / Семинар «Логические и алгебраические методы в языкознании», МЦМУ МИАН им. Стеклова, 15.03.2023
- «Temporal Epistemic Logic for Minimum Delay in Awareness» / Международная конференция «Formal Philosophy 2022», НИУ ВШЭ, 31.10-03.11.2022
- «Логика свидетельств» / Семинар «Неклассические логики», МЦМУ МИАН им. Стеклова, 05.10.2022
- «Эпистемическая темпоральная логика для агентов с задержкой в осведомленности», семинар «Теория управления организационными системами», Институт проблем управления им. В. А. Трапезникова, 19.05.2022
- "Знание и время: эволюционная эпистемическая модель", международная конференция "XII Смирновские чтения по логике", МГУ, 25.06.2021
- "Evolutionary Epistemic Model", постерная секция конференции "Formal Philosophy 2021", НИУ ВШЭ, 23.06.2021
Доклады Елены Поповой в Математическом институте Сербской академии наук и искусств
Елена Попова выступила с докладами на семинарах «Probability Logic» и «Mathematical Logic», которые прошли 5 и 6 декабря.
Доклады сотрудников МЛ ЛогЛинФФ на IV Конференции математических центров
Виталий Долгоруков и Елена Попова выступили с докладами на секции «Математическая логика и теоретическая информатика» на IV Конференции математических центров России, которая проходила с 6-го по 11-ое августа в Санкт-Петербурге.
Поздравляем Елену Попову с защитой магистерской диссертации!
21 июня Елена Попова защитила магистерскую диссертацию «Семантика первопорядковой логики свидетельств со связывающей модальностью» (руководитель – Т.Л. Яворская) с оценкой «отлично» (10).
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Доклады сотрудников МЛ ЛогЛинФФ на воркшопе «SCAN 2023»
Воркшоп «Semantical and Computational Aspects of Non-Classical Logics» проходит с 13 по 17 июня на базе Математического института им. В. А. Стеклова РАН. Сотрудники МЛ ЛогЛинФФ: Виталий Долгоруков, Иван Пыльцын и Елена Попова представили свои доклады на воркшопе.
Доклад сотрудников МЛ ЛогЛинФФ на «Logic Colloquium 2023»
Виталий Долгоруков и Елена Попова приняли участие в «Logic Colloquium 2023», который проходил с 5 по 9 июня в Государственном университете Милана.
Доклад Елены Поповой на семинаре «Современные проблемы математической логики»
21 апреля Елена Попова выступила с докладом на семинаре математического факультета НИУ ВШЭ «Современные проблемы математической логики» с докладом «Подходы к решению проблемы логического всеведения в эпистемической логике».
Проект «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ
Проект фундаментальных научных исследований «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ!
Доклад Елены Поповой в МИАН им. Стеклова
15 марта в МИАН состоялся семинар «Логические и алгебраические методы в языкознании», на котором Елена Попова выступила с докладом «Динамическая эпистемическая логика как инструмент анализа прагматических явлений».
В Вышке стартует регистрация на IV конкурс «Научная инициатива»
Центр академического развития студентов (ЦАРС) НИУ ВШЭ начал прием заявок на Конкурс командных исследовательских проектов студентов «Научная инициатива». Его участниками могут стать студенты бакалавриата и магистратуры всех кампусов Вышки. Они не только выступят в роли ученых-исследователей, но и попробуют себя в качестве научного менеджера и руководителя небольшого научного коллектива. Регистрация продлится до 3 марта.
Поздравляем победителей конкурса НИРС
Подведены итоги Конкурса научно-исследовательских работ студентов (НИРС-2022). Среди победителей Егор Емельянов (научный руководитель: Елена Драгалина-Чёрная) и Елена Попова (научный руководитель: Виталий Долгоруков)
Выступления сотрудников МЛ ЛогЛинФФ на международной конференции "HOMO LOQUENS: логика-язык-культура" в БФУ имени Канта
1-3 декабря в Калининграде проходила международная конференция "HOMO LOQUENS", на которой сотрудники МЛ ЛогЛинФФ выступили с докладами.
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
Елена Попова выступила с докладом на семинаре "Неклассические логики" (МИАН)
Елена Попова (стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии) представила доклад "Логики свидетельств" на семинаре "Неклассические логики" (руководители семинара: С. Л. Кузнецов и С.О.Сперанский, Математический институт имени В. А. Стеклова РАН)
Началась летняя школа «Логика и формальная философия»
Школа проходит с 5 по 10 сентября в Санкт-Петербурге на факультете свободных искусств и наук СПбГУ. Программа школы состоит из серии мини-курсов, посвященных различным аспектам философской логики и формальной философии, а также студенческой постерной секции.
Поздравляем стажёров-исследователей МЛ ЛогЛинФФ с поступлением в магистратуру!
Вероника Пригоркина поступила в Гронингенский университет на программу Эрасмус Мундус «Клиническая Лингвистика», Елена Попова поступила в МФТИ (физтех-школа прикладной математики и информатики) на программу «Методы современной математики», Георгий Филатов поступил в НИУ ВШЭ на программу «Философская антропология».
Сотрудники МЛ ЛогЛинФФ на летней школе по аналитической философии языка и логике в ТГУ
Виталий Долгоруков, Елена Попова и Константин Шишов приняли участие в первой летней школе по аналитической философии языка и логике на базе кафедры истории философии и логики ТГУ.
Поздравляем стажёров-исследователей с защитой дипломов!
Вероника Пригоркина, Елена Попова и Георгий Филатов блестяще защитили дипломные работы. Студенты получили 10-ки!
Сотрудники МЛ ЛогЛинФФ выступили с докладами на конференции в СПбГУ "Смысл и смыслообразование"
Со 2 по 4 июня проходила международная конференция "Смысл и смыслообразование" в Санкт-Петербургском государственном университете.
Доклад Виталия Долгорукова и Елены Поповой на семинаре «Теория управления организационными системами» института проблем управления им. В. А. Трапезникова
19 мая Виталий Долгоруков и Елена Попова выступили с докладом «Эпистемическая темпоральная логика для агентов с задержкой в осведомленности» семинаре «Теория управления организационными системами» Института проблем управления им. В. А. Трапезникова РАН.
Сотрудники МЛ ЛогЛинФФ приняли участие в международной конференции "uAnalytiCon-2022: Абстрактные объекты"
Международная конференция "uAnalytiCon-2022: Абстрактные объекты" проходила с 13 по 14 мая в Уральском федеральном университете в Екатеринбурге.
Опубликована статья Елены Поповой
В журнале "Логико-философские штудии" вышла статья Елены Поповой "Merging Epistemic and Temporal Models: a History-Free Approach".
Прошла церемония награждения победителей и лауреатов НИРС
В числе победителей и лауреатов - работы, написанные под руководством сотрудников Международной лаборатории логики, лингвистики и формальной философии.
Прошло первое в 2022 году заседание научно-исследовательского семинара "From the Logical Point of View"
Виталий Долгоруков и Елена Попова выступили с докладом "Осведомленность в динамике: эволюционная эпистемическая логика"
Доклады сотрудников лаборатории на конференции MACSPro’2021
С 16 по 18 декабря проходила международная научная конференция по моделированию и анализу комплексных систем и процессов "MACSPro’2021", в которой приняли участие Денис Федянин, Виталий Долгоруков и Елена Попова.
Доклады сотрудников лаборатории на конференции "HOMO LOQUENS" в Калининграде
С 9 по 11 декабря в БФУ имени И. Канта проходила конференция "HOMO LOQUENS". Сотрудники лаборатории выступили с докладами.
Поздравляем стажеров-исследователей, занявших призовые места в конкурсе НИРС-2021!
Подведены итоги конкурса НИРС-2021. Стажеры-исследователи МЛ ЛогЛинФФ заняли призовые места сразу в нескольких номинациях!
Состоялся цикл семинаров "From the Logical Point of View"
Сотрудники лаборатории и приглашенные участники прочитали серию докладов на научно-исследовательском семинаре "From the Logical Point of View".
Доклад Виталия Долгорукова и Елены Поповой на конференции "Актуальные проблемы аналитической философии"
24 сентября Виталий Долгоруков и Елена Попова выступили с докладом "Проблема нормативности в логике и теории игр" на конференции "Актуальные проблемы аналитической философии 2021".
Прошла первая летняя школа МЛ ЛогЛинФФ
С 30 августа по 3 сентября проходила первая летняя школа МЛ ЛогЛинФФ, на которой сотрудники лаборатории выступили с мини-курсами и серией лекций.
Поздравляем Елену Попову с успешной защитой курсовой!
Поздравляем Елену Попову, стажера-исследователя лаборатории, с успешной защитой курсовой работы "Проблема комбинации эпистемических и темпоральных модальностей", написанную под руководством Долгорукова Виталия Владимировича.
Доклады сотрудников лаборатории на конференции "Смирновские чтения по логике"
24-26 июня в онлайн-формате прошла конференция «Двенадцатые Смирновские чтения по логике».
Доклады сотрудников лаборатории на конференции uAnalytiCon-2021
14-15 мая в Екатеринбурге в смешанном формате прошла Международная научная конференция uAnalytiCon-2021: Контекстуализм, знание и истина, организованная Уральским федеральным университетом имени первого Президента России Б.Н. Ельцина.