Федянин Денис Николаевич
- Научный сотрудник, Стажер-исследователь: Международная лаборатория логики, лингвистики и формальной философии
- Приглашенный преподаватель: Учебные подразделения / Школа инноватики и предпринимательства
- Приглашенный преподаватель: Факультет компьютерных наук / Департамент анализа данных и искусственного интеллекта
- Начал работать в НИУ ВШЭ в 2018 году.
- Научно-педагогический стаж: 11 лет.
Полномочия / обязанности
Научная работа в Международной лаборатории логики, лингвистики и формальной философии
Oбразование
Дополнительное образование / Повышение квалификации / Стажировки
Master class on Reasoning in social context in the Master of Logic at ILLC, University of Amsterdam. Organizers: Sonya Smets (University of Amsterdam, ILLC) and Alexandru Baltag (University of Amsterdam, ILLC)/ С 30 мая по 15 Июня 2018.
Functional Programming for Logicians,coordinated project in the Master of Logic at ILLC, University of Amsterdam. Instructors: Malvin Gattinger and Jana Wagemaker. С 4 июня по 15 июня 2018,
Сертифицированный Специалист по Управлению Проектами IPMA Level D с марта 2018 гогда (Certified Project Management Associate IPMA Level D).
Летняя школа "Fourth EPICENTER Spring Course in Epistemic Game Theory" в Университете Маастрихта (Нидерланды) с 12 Июня по 26 Июня 2017 г.
Летняя школа "29th European Summer School in Logic, Language, and Information" в Тулузе (Франция) с 17 Июля по 28 Июля 2017 г., поток "Logic and Computaiton".
Достижения и поощрения
- Благодарность факультета компьютерных наук НИУ ВШЭ (июль 2024)
Учебные курсы (2024/2025 уч. год)
- Combinatorics, Graphs and Logic (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 3, 4 модуль)Анг
- Применение эволюционных алгоритмов в логистике (Бакалавриат; где читается: Высшая школа бизнеса; 4-й курс, 3 модуль)рус
- Probability Theory and Mathematical Statistics (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
- Probability Theory and Mathematical Statistics (Маго-лего; 1 модуль)Анг
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Combinatorics, Graphs and Boolean Logic (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 3, 4 модуль)Анг
- Applied Quantitative Logistics (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Анг
- Applied Quantitative Logistics (Маго-лего; 3, 4 модуль)Анг
- Применение эволюционных алгоритмов в логистике (Бакалавриат; где читается: Высшая школа бизнеса; 4-й курс, 3 модуль)рус
- Probability Theory and Mathematical Statistics (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
- Probability Theory and Mathematical Statistics (Маго-лего; 1 модуль)Анг
Учебные курсы (2022/2023 уч. год)
- Combinatorics, Graphs and Boolean Logic (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 3, 4 модуль)Анг
- Applied Quantitative Logistics (Магистратура; где читается: Факультет компьютерных наук направление: 01.04.02. Прикладная математика и информатика, направление: 01.04.02. Прикладная математика и информатика; 1-й курс, 3, 4 модуль)Анг
- Applied Quantitative Logistics (Маго-лего; 3, 4 модуль)Анг
- Применение эволюционных алгоритмов в логистике (Бакалавриат; где читается: Высшая школа бизнеса; 4-й курс, 3 модуль)рус
- Probability Theory and Mathematical Statistics (Магистратура; где читается: Факультет компьютерных наук направление: 01.04.02. Прикладная математика и информатика, направление: 01.04.02. Прикладная математика и информатика; 1-й курс, 1 модуль)Анг
- Probability Theory and Mathematical Statistics (Маго-лего; 1 модуль)Анг
Учебные курсы (2021/2022 уч. год)
- Combinatorics, Graphs and Computational Logic (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 3, 4 модуль)Анг
- Применение эволюционных алгоритмов в логистике (Бакалавриат; где читается: Высшая школа бизнеса; 4-й курс, 1, 2 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Combinatorics, Graphs and Boolean Logic (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 3, 4 модуль)Анг
- Applied Quantitative Logistics (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Анг
- Применение эволюционных алгоритмов в логистике (Бакалавриат; где читается: Высшая школа бизнеса; 4-й курс, 1, 2 модуль)рус
Конференции
Авторские права и патенты
№ п/п | Номер РИД | Вид РИД | Наименование РИД | Сведения о регистрации | Авторы |
---|---|---|---|---|---|
1 | 5.0047-2024 | Программа для ЭВМ | Программа поиска эквивалентности между двумя моделями знаний | Николаева Валерия Александровна, Федянин Денис Николаевич |
Гранты
Опыт участия в грантах.
FP7-PEOPLE-2013-IRSES (Marie Curie Action "International Research Staff Exchange Scheme) №612707 "DIONICOS(Dynamics of and in Complex Systems)"
РНФ 16-19-10609 "Модели, методы и информационные технологии синтеза комплексных механизмов управления эргатическими активными системами"
РФФИ 12-01-31367 "Разработка моделей управления коллективным поведением элементов социально-экономических систем".
РФФИ 17-20-05216 офи_м_РЖД "Модели и методы управления разработкой и внедрением инновационных энергоэффективных средств и технологий в холдинге "РЖД"
РФФИ 16-01-00820 "Моделирование процесса формирования онлайновых социальных сетей на основе алгоритма с отсевом активных узлов"
РФФИ 16-01-00485 "Модели и методы анализа влиятельности в онлайновых социальных сетях",
РФФИ 16-07-00816 "Развитие кибернетических моделей и методов теории организационного управления",
РФФИ 15-07-09048 "Приложения моделей стратегической рефлексии для теории игр двух лиц и игр формирования сетей",
РФФИ 13-07-00876 "Модели и методы информационного управления в многоагентных сетевых структурах",
РФФИ 13-07-00491 "Механизмы управления системами с сетевой структурой".
Опыт работы
С 2001 по 2011 год - SOFTLINE (продажи, маркетинг, тренер, тех.поддержка), BERATOR PRESS (руководитель отдела баз данных), SPIRIT DSP (региональный менеджер по продажам), ALFA INSURANCE (прямые продажи). ИПУ РАН. С 2011 года по настоящее время занимаюсь исследованиями, программированием, проведением учебных курсов, координацией грантов и помощью в организации конференций. ВШЭ с 2018 года по настоящее время.
Информация*
- Общий стаж: 16 лет
- Научно-педагогический стаж: 11 лет
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian and Brazilian philosopher-logicians and mathematician-logicians. The project’s leaders and participants, Elena Dragalina-Chernaya, Itala Loffredo D'Ottaviano, Marcelo Esteban Coniglio, and Evandro Luis Gomes, shared their insights about the initiative.
РИД сотрудников МЛ ЛогЛинФФ Дениса Федянина и Валерии Николаевой
Разработанный сотрудниками лаборатории программный комплекс впервые был официально зарегистрирован в качестве программы для ЭВМ.
Стартовал курс сотрудников МЛ ЛогЛинФФ «Введение в эпистемическую логику и формальную эпистемологию»
Виталий Долгоруков и Денис Федянин провели первую лекцию по факультативу «Введение в эпистемическую логику и формальную эпистемологию», который читается на базе НИУ ВШЭ.
Доклад Дениса Федянина на научно-исследовательском семинаре «From the Logical point of View»
16 июня Денис Федянин выступил с докладом «Прикладное программирование квантификации эпистемических формул для генерации заданий для студентов» на научно-исследовательском семинаре МЛ ЛогЛинФФ «From the Logical point of View».
Проект «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ
Проект фундаментальных научных исследований «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного» под руководством Ангелины Бобровой поддержан РНФ!
Сотрудники МЛ ЛогЛинФФ выступили на воркшопе "Games in Logic"
Виталий Долгоруков, Александра Павлова и Денис Федянин выступили с докладами на воркшопе, посвященном теоретико-игровым методам в логике ( "Games in Logic"), который проходил с 29 по 30 июня в Венском техническом университете (в гибридном формате).
Доклады сотрудников лаборатории на конференции MACSPro’2021
С 16 по 18 декабря проходила международная научная конференция по моделированию и анализу комплексных систем и процессов "MACSPro’2021", в которой приняли участие Денис Федянин, Виталий Долгоруков и Елена Попова.
Состоялся ноябрьский и декабрьский цикл семинаров "From the Logical Point of View"
Сотрудники лаборатории и приглашенные участники прочитали серию докладов на научно-исследовательском семинаре "From the Logical Point of View".
Прошла первая летняя школа МЛ ЛогЛинФФ
С 30 августа по 3 сентября проходила первая летняя школа МЛ ЛогЛинФФ, на которой сотрудники лаборатории выступили с мини-курсами и серией лекций.
Interdisciplinary Research: New Prospects for Philosophy
What connects philosophers, linguists, and logicians? How do you develop partnerships with dozens of foreign research centres in just six months? Can science exist in isolation from the outside world? Elena Dragalina-Chernaya, Head of the International Laboratory for Logic, Linguistics, and Formal Philosophy, discusses these and other issues.
«Междисциплинарные исследования – новые перспективы для философии»
Что связывает философов, лингвистов и логиков? Как подружиться с десятком иностранных центров за полтора года? Может ли наука изолироваться от внешнего мира? На эти и другие темы размышляет заведующая Международной лабораторией логики, лингвистики и формальной философии Елена Драгалина-Черная.
Сотрудники МЛ ЛогЛинФФ приняли участие в летней школе в Риге
Сотрудники Лаборатории приняли участие в ESSLLI 2019
Формальная философия 2019
27-28 июня состоялась международная конференция "Formal Philosophy 2019", организованная Международной лабораторией логики, лингвистики и формальной философии (МЛ ЛогЛинФФ). В конференции приняли участие ученые из России, США, Бразилии, Польши, Германии, Австрии, Португалии и Южной Кореи. Планируется, что конференция станет ежегодным событием.
Сотрудники лаборатории выступили на Одиннадцатых Смирновских чтениях по логике
В конференции приняли участие Павлова А.М., Федянин Д.Н., Золин Е.Е., Драгалина-Черная Е.Г. и Васюков В.Л.
Денис Федянин выступил с докладом на конференции "XIII Всероссийское совещание по проблемам управления"
Сотрудник лаборатории выступил на конференции ВСПУ-2019.
Денис Федянин выступил на Апрельской конференции.
Младший научный сотрудник ЛогЛинФФа, Денис Федянин, выступил с докладом на XX апрельской конференции в Вышке.
Денис Федянин выступил с докладом в Мюнхенском центре математической философии
Денис Федянин выступил с докладом в Мюнхенском центре математической философии
(Университет Людвига-Максимилиана, Мюнхен, Германия).
Денис Федянин выступил с докладом на конференции в Париже
25-26 октября сотрудник Лаборатории логики, лингвистики и формальной философии Денис Федянин выступил с докладом на конференции в Париже.
Конференция «Формальная философия»
1 и 2 октября 2018 года в Высшей школе экономики состоялась Первая международная конференция «Формальная философия», на которой специалисты по логике и формальной философии из разных стран представили и обсудили свои научные идеи.
Опубликован фоторепортаж конференции «Формальная философия»
В ВШЭ прошла международная конференция "Формальная философия", организованная международной лабораторией логики, лингвистики и формальной философии.
Сотрудники ЛогЛинФФа приняли участие в летней школе в Болгарии
Виталий Долгоруков, Александра Павлова и Денис Федянин приняли участие в 30-й европейской летней школе по логике, языку и информации (30TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION), которая прошла в Софийском Университете с 6-го по 17-е августа.
Денис Федянин выступил с докладом и принял участие в мастер-классе в Амстердаме
Младший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии выступил с докладом на коллоквиуме, а также принял участие в двухнедельном мастер-классе.
Статья Дениса Федянина опубликована в журнале Automation and Remote Control
Статья младшего научного сотрудника Международной лаборатории логики, лингвистики и формальной философии посвящена теме: Consensus in Social Networks of Compound Nodes («Консенсус в социальной сети со сложными узлами»).
Статья Дениса Федянина опубликована в журнале «International Journal of Engineering and Technology»
Совместная статья Дениса Федянина (ЛогЛинФФ) и Юрия Вершинина (Coventry University) опубликована в журнале «International Journal of Engineering and Technology».