Тема «конструктор успеха»

Стажер-исследователь Иван Пыльцын выступил с докладом «‎First-order Modal and Temporal Logics: State of the art and perspectives» на встрече семинара STEP (Software Engineering, Theory and Experimental Programming), которая прошла 8 декабря.

Рассказ-отчёт о командировке с.н.с. МЦАВР Ломоносова Тимофея Александровича в г. Саров на мероприятие «II Всероссийская школа-семинарв области математического моделирования на супер-ЭВМ экса- и зеттафлопсной производительности» 25-29 cентября 2023 г.

10 и 17 ноября стажер-исследователь Иван Пыльцын выступил с докладами «‎О сильной эквивалентности арифметики Пеано и теории конечных множеств»‎ на исследовательском семинаре "From the Logical Point of View".

Сотрудник Международного центра анализа и выбора решений и Департамента математики ФЭН Романов Игорь Викторович получил ученую степень доктора наук за успешную защиту диссертации.

28 сентября защитил диссертацию на соискание учёной степени кандидата наук сотрудник Международного центра анализа и выбора решений Демин Сергей Станиславович.

Сердечно поздравляем Юлию Александровну Веселову, старшего научного сотрудника Международного центра анализа и выбора решений, с успешной защитой 18 сентября 2023 года диссертации и присвоении степени Ph.D. в университете Маастрихта по теме «Информация, взаимодействие и манипулирование при голосовании» (Information, Interaction and Manupulation in Voting).

22 сентября на учебном семинаре «Логическая семантика» стажер-исследователь Иван Пыльцын выступил с докладом «Введение в арифметику Пеано».

С 26 по 30 июня состоялась международная Летняя школа МЛОПИО "Исследования в онлайн-образовании". В рамках школы участники имели возможность прослушать лекции, поучаствовать в разработке собственных исследовательских проектов и сходить на экскурсию в компании в сфере образовательных технологий (EdTech).

Анна Быкова, выпускница пермской Вышки, успешно построила академическую карьеру и вместе с тем нашла способ сблизить науку и бизнес, работая на позиции руководителя Агентства по развитию малого и среднего предпринимательства Пермского края. В интервью «Конструктору успеха» Анна рассказала, как в академической среде удачно реализовать свои лидерские качества, почему современные выпускники неохотно идут в госсектор и зачем профессору Вышки спортивные разряды по бегу.

Поздравляем стажера-исследователя МЛ ЛогЛинФФ Михаила Смирнова с успешной защитой кандидатской диссертации на тему «Онтологические основания семантики событий» (научный руководитель: Е.Г. Драгалина-Черная).