Научный дайджест ФКН 2022. Часть 1

ФКН

По традиции рассказываем о главных научных достижениях факультета компьютерных наук за первую половину года.

Выступления на конференциях

ACM WSDM 2022

15th International Conference on Web Search and Data Mining, 21-25 февраля 2022

• Towards understanding and answering comparative questions (Павел Браславский, A. Bondarenko, Y. Ajjour, V. Dittmar, N. Homann, M. Hagen)
• Improving text generation via neural discourse planning (Александр Чернявский)

С другими публикациями сотрудников и студентов ФКН можно ознакомиться здесь.

28 января руководитель международной лаборатории биоинформатики Мария Попцова выступила на конференции AI Community с докладом «Методы машинного обучения в функциональной геномике».

4-5 февраля прошел Российский конгресс по клинической фармакогеномике, во время которого Мария Попцова выступила в качестве модератора нескольних секций.

16-20 мая в Дижоне (Франция) прошла весенняя школа по инвариантам в алгебраической геометрии. В рамках школы декан ФКН, заведующий лабораторией алгебраических групп преобразований профессор Иван Аржанцев прочел курс лекций Cox Rings with Applications in Algebraic Geometry, а стажер-исследователь лаборатории Кирилл Шахматов выступил с докладом Unipotent group actions on complete toric varieties.

Мероприятия

14–18 февраля прошла первая международная зимняя школа по программной инженерии. Мероприятие состоялось при поддержке компании JetBrains, Университета Иннополис и Технологического института Шаффхаузена. В рамках школы прошли лекции преподавателей и ученых из IT-университета Копенгагена, AliExpress Russia, Ливерпульского университета. Более 800 человек со всего мира зарегистрировались для участия в школе.

Программа

Записи лекций

17-21 февраля прошла школа-конференция «Информационные технологии и системы. Биоинформатика». Школа-конференция собрала 120 участников из ВШЭ, ИППИ РАН им. А. А. Харкевича, Сколтеха, МГУ, Физтеха и других организаций. Организатором выступила международная лаборатория биоинформатики совместно с ИППИ РАН, Сколтехом и МГУ.

25 февраля состоялся ежегодный совместный с CERN мастер-класс для школьников по физике высоких энергий, который провели сотрудники лаборатории методов анализа больших данных (LAMBDA) Федор Ратников и Денис Деркач. В мастер-классе приняли участие школьники из Москвы, Кирова, Тюмени и Липецкой области.

25 апреля прошел шестой Колмогоровский семинар по компьютерной лингвистике (CLLS 2022). Семинар организован совместно департаментом анализа данных и искуcственного интеллекта, международной лабораторией интеллектуальных систем и структурного анализа и школой лингвистики факультета гуманитарных наук ВШЭ. 

Программа

23-27 мая состоялась вторая школа по финтеху. Около 300 участников прослушали лекции от представителей Сбера, Ozon, Московской биржи, Альфа-Банка, QIWI, НСПК, банка «Ренессанс Кредит», SberDevices, Банка России и банка «Открытие». В организации школы принимала участие магистратура «Финансовые технологии и анализ данных».

Программа

25-26 мая прошла первая часть онлайн-конференции ABZ Meeting 2022, организованная при участии Марии Попцовой и научного консультанта международной лаборатории биоинформатики профессора Алана Герберта. Соорганизаторами также стали журнал Molecules, RNA Society, International Journal of Molecular Sciences и InsideOutBio. В конференции приняли участие более 250 ученых из 24 стран. Вторая часть конференции пройдет 6-7 сентября.

Программа

20-26 июня состоялась традиционная летняя школа «Обучение, понимание и оптимизация в моделях искусственного интеллекта». В организационный комитет школы от ФКН вошли Алексей Наумов и Александр Гасников.

22 июня состоялся круглый стол консорциума «Генетика сердечно-сосудистых заболеваний», в работе которого приняла участие Мария Попцова.

Регулярные семинары ФКН

Коллоквиум

Записи

• 1 февраля Approximation with neural networks of minimal size: exotic regimes and superexpressive activations (Дмитрий Яроцкий)

• 1 марта Power Indicies for Attribution of JSM-hypotheses and Formal Concepts (Дмитрий Игнатов)

• 19 апреля Statistics in Tandem Mass Spectrometry Data Analysis (Аттила Кертес-Фаркаш)

• 24 мая Do process models behave identically? Algorithmics and Decidability of Bisimulation Equivalences (Ирина Ломазова)

• 7 июня Шашки Фейнмана (Алексей Устинов)

Открытые заседания Ученого совета ФКН

Записи

• Заседание 10 февраля

  • Моделирование концептуального обобщения (Борис Миркин)

  • Использование методов машинного обучения для изучения свойств и поиска новых материалов (Андрей Устюжанин)

• Заседание 14 апреля

  • Тензорные разложения в глубинном обучении (Максим Рахуба)

  • Применение генеративных моделей машинного обучения в физике частиц (Денис Деркач)

• Заседание 9 июня

  • Равновесия Нэша в позиционных стратегиях игр на графах с аддитивными и терминальными платежами (Михаил Вялый)

  • Прогнозирование за горизонтом прогнозирования: хаотические ряды и прогнозирование на много шагов вперёд (Василий Громов)

Международная лаборатория интеллектуальных систем и структурного анализа

• 10 февраля Персонализированная математическая модель роста первичной опухоли и вторичных отдаленных метастазов с различными вариантами скорости роста для больных раком молочной железы (Элла Тюрюмина)

• 5 марта Априорное распределение параметров в задачах выбора моделей глубокого обучения (Андрей Грабовой, МФТИ)

• 15 апреля "Less is more" based heuristics for Minimum sum-of-squares clustering" (Ненад Младенович, Университет Халифа, ОАЭ)

• 11 мая Informative discourse feature selection for analysis of textual data (Елизавета Гончарова)

• 27 мая HAO Intelligence for Big Wisdom (Xindong Wu, Hefei University of Technology, КНР)

• 30 мая Методы и алгоритмы нейро-символьного представления сцен в мультимодальных задачах (Алексей Ковалёв, Институт искусственного интеллекта AIRI)

• 17 июня Задачи верификации и воспроизводимости экспериментов машинного обучения в проекте MLDev (Софья Якушева, МФТИ, MLDev; Антон Xританков)

Международная лаборатория теоретической информатики

• 13, 20 января Разрешимость в позиционных стратегиях — в поисках полного описания (Александр Козачинский)

• 27 января Формульная сложность и гипотеза Карчмера — Раза — Вигдерсона (Александр Смаль, ПОМИ РАН)

• 3 февраля Скрамблинг-индекс неотрицательных матриц и ориентированных графов (Артем Максаев)

• 10 февраля The number of homomorphisms into finite algebras (Libor Barto, Charles University, Чехия)

• 17 февраля On the Generative Power of Semi-Bracketed Contextual Grammars (Anand Mahendran)

• 17 марта Fitting Protein into H-Core: Structural Analysis of Discrete Hydrophobic Cores (Андрей Игнатов)

• 24 апреля Evolution of a bipartite random graph (Павел Захаров)

• 21 апреля Сложность матриц и аппроксимация (Юрий Малыхин, МИАН)

Международная лаборатория алгебраической топологии и ее приложений

• 10 февраля О броуновских мостах на деревьях и супердеревьях (Сергей Нечаев, Центр Понселе и Физический Институт РАН)

• 17 февраля Wasserstein Stability for Persistence (Primoz Skraba, Queen Mary University of London)

• 18 марта Path homology and join of digraphs (A. A.Grigor'yan, Bielefeld University, Germany)

• 25 марта Simplicial complexes of polyomino tilings (Djordje Baralić, Mathematical Institute of the Serbian Academy of Sciences and Arts)

• 8 апреля Configuration space of Moebius Kaleidocycle (Shizuo Kaji, Kyushu University, Japan)

• 15 апреля Parameterized Vietoris-Rips Filtrations via Covers (Bradley Nelson, University of Chicago)

• 20 мая Mathematical AI for molecular data analysis Kelin Xia, Nanyang Technological University, Singapore)

Лаборатория процессно-ориентированных информационных систем

• 21 января Data Petri Nets as a Formalism for Representing Decision-Aware Process Models (Николай Суворов)

Лаборатория моделирования и управления сложными системами

• 21 апреля Квантовые алгоритмы — настоящее, будущее, хайп. История возникновения, принципы, примеры (Д. Минаев, МГУ)

• 19 мая Магнитная гидродинамика Солнца и солнечного ветра (Е. Маевский)

• 26 мая Birth of Strange nonchaotic Attractors Nonlinear Dynamical Systems (Suresh Kumarasamy)

• 2 июня Neural networks and its application (R. Vadive)

• 9 июня Networked Control Systems and Its Applications (Nallappan Gunasekaran)

Научно-учебная лаборатория искусственного интеллекта для вычислительной биологии

• 29 апреля Применение алгоритмов глубокого обучения для сегментирования одиночных клеток и фенотипического профилирования (Никита Мошков, Университет Сегеда)

Семинар «Байесовские методы машинного обучения»

• 25 февраля Formalism of quantum mechanics from the point of view of machine learning (Александр Лобашев)

• 4 марта Свободная энергия и интеллект (Сергей Шумский, МФТИ)

• 11 марта A Random Matrix Theory approach to Deep Learning optimisation and generalisation (Diego Granziol, Huawei London AI Theory)

• 18 марта Denoising Diffusion Restoration Models (Тингир Бадмаев, МГУ)

• 25 марта Mathematics of Multi-Antenna Transmission in 5G networks (Илья Синильщиков, Евгений Бобров)

• 8 апреля Autoformer and Autoregressive Denoising Diffusion Models for Time Series Forecasting (Никита Гущин, ШАД)

• 15 апреля Bilateral Denoising Diffusion Models for Fast and High-Quality Speech Synthesis (Иван Щекотов, Samsung AI Center)

• 22 апреля MLP архитектура для решения задач CV и NLP (Дмитрий Курцев, МГУ)

• 29 апреля Дифференцирумая реконструкция трехмерных сцен по снимкам (Олег Дешеулин, НИУ ВШЭ, Сколтех)

• 6 мая Минимизация энергии в моделях Изинга с помощью нейронных сетей (Андрей Охотин, МГУ)

• 13 мая Предыскажение сигналов усилителей (Данила Дорошин, Huawei)

• 20 мая Neural Optimal Transport (Александр Коротин, Сколтех, AIRI)

Семинар «Автоматическая обработка и анализ текстов»

• 3 января Четыре соревнования Dialogue Evaluation (Евгений Котельников, ВятГу; Дарина Дементьева, Сколтех; Наталья Лукашевич, МГУ; Екатерина Артемова)

• 24 февраля Введение в нейросетевую обработку человеческой речи (Иван Захаров, Тинькофф)

• 19 мая Text Mining for Online Social Networks (Илья Карпов)

Семинар по методам машинного обучения в биоинформатике

• 5 марта Обучение представлений вторичных структур РНК в графовых нейросетях для предсказания РНК-белковых взаимодействий

• 18 марта Предсказание иерархической функции белков с помощью графовых нейронных сетей TailGNN (Артем Войтецкий)

Семинар по алгебраическим группам преобразований

• 19 января Polytopal linear groups (Антон Шафаревич)

• 2 февраля The commuting derivations conjecture (Вероника Киктева)

• 4 февраля Existence results for B-root subgroups on affine spherical varieties (Роман Авдеев)

• 16 февраля Characterization of affine toric varieties by their automorphism groups (Andriy Regeta)

• 2, 16 марта Isotropy group of an LND of the polynomial algebra in three variables (Сергей Гайфуллин)

• 6 апреля Automorphism groups of affine varieties without non-algebraic elements (Александр Перепечко)

• 20 апреля Hessenberg varieties (Екатерина Преснова)

• 11 мая Wild automorphisms of graded algebras (Антон Трушин) 

• 25 мая Map enumeration problem (Вероника Треумова) 

• 15 июня Isometries of Mukai lattices (Иван Бельдиев) 

Аспирантский семинар

• 12, 19, 21 января Представление тем диссертационных исследований аспирантов первого года обучения

• 9 февраля Deep Generative Models for Anomaly Detection (Артем Рыжиков)

• 2 марта SPARQLing Database Queries from Intermediate Question Decompositions (Ирина Сапарина); Searching for Better Database Queries from Predictions of Neural Models (Рамиль Яруллин)

• 9 марта General Matrix-to-Matrix Multiplication Algorithm for Multiple GPUs: Performance and Optimization (Чой Е Рем, МИЭМ)

• 4 мая Language-independent word sense disambiguation methods (Максим Кулаев)

Научный семинар по программной инженерии

• 20 января Система MLDev: задачи программной инженерии для доверенного машинного обучения (Антон Хританков)

• 21 марта Анализ многомерной структуры словесных коммуникаций персонажей романа М.А. Булгакова «Мастер и Маргарита» (Константин Дегтярев)

• 19 мая Современные тенденции применения информационных технологий в офтальмологии (Дмитрий Рябцев, Департамент здравоохранения Москвы)

• 8 июня Практические аспекты создания индустриальных dsls в области телекоммуникаций (Дмитрий Кознов, СПбГУ)

Зеркальная лаборатория (LAMBDA)

• 1 июня In silico discovery of novel topological materials (Олег Язиев, EPFL)

• 10 июня Generative flow networks for modeling highly structured objects (Анастасия Волохова, Mila & Université de Montréal)

Открытые семинары

• 24 февраля

  • Non-Smooth Optimization with Noisy Gradient-Free Oracle (Darina Dvinskikh, Kharkevich Institute for Information Transmission Problems of the Russian Academy of Sciences)

  • Utilization of Polynomial Chaos Expansion for acceleration of Optimal Bayesian Experimental Design (Alexander Tarakanov, Huawei R&D Moscow)

Новые подразделения и проекты

В марте на факультете была создана базовая кафедра ПАО Сбербанк «Финансовые технологии и анализ данных». Основная задача базовой кафедры — расширить сотрудничество Сбера с ФКН по подготовке высококвалифицированных ИТ-специалистов. Создание кафедры стало продолжением сотрудничества, начавшегося в 2017 году с открытия магистерской программы «Финансовые технологии и анализ данных». Кафедру возглавил академический руководитель магистратуры ФТиАД, руководитель Центра искусственного интеллекта НИУ ВШЭ Алексей Масютин.

По итогам конкурса на получение грантов Российского научного фонда были поддержаны проекты ФКН «Семантические технологии и машинное обучение для решения задач мониторинга, контроля, прогнозирования и верификации в системах обработки потоковых данных» профессора Сергея Кузнецова и «Изучение аффинных пространств и связанных с ними объектов с помощью алгебраических групп преобразований и локально нильпотентных дифференцирований» профессора Ивана Аржанцева и профессора Нины Гупта (Индийский статистический институт).

Коллектив лаборатории методов анализа больших данных (LAMBDA) разработал систему мониторинга с применением искусственного интеллекта для эксперимента LHCb (Large Hadron Collider beauty) Большого адронного коллайдера. Она позволяет отслеживать, насколько качественны собранные данные, а также помогает операторам быстро находить поломки. Использование системы начнется в 2022 году.

Коллаборация исследователей при участии специалистов международной лаборатории биоинформатики предложила новый способ борьбы с трудноизлечимой меланомой. Ученые обнаружили, что одна из форм молекулы ДНК, попадая в раковые клетки, способна вызвать иммунный ответ, вызывающий гибель клеток, которые поддерживают рост опухоли. Результаты исследования опубликованы в журнале Nature.

Достижения

В январе были объявлены победители конкурса «Молодая математика России» 2021 года. На ФКН ими стали доцент департамента больших данных и информационного поиска Сергей Гайфуллин (проект «Автоморфизмы многообразий с действием тора») и научный сотрудник (сейчас заведующий) международной лаборатории алгебраической топологии и ее приложений Иван Лимонченко (проект «Топология торических и квазиторических расслоений»).

В июне членами-корреспондентами Российской академии наук были избраны научный сотрудник международной лаборатории биоинформатики Алексей Шайтан и профессор Михаил Посыпкин, заведующий базовой кафедры «Интеллектуальные технологии системного анализа и управления» ФИЦ ИУ РАН.

Кроме того, в июне были подведены итоги Конкурса лучших русскоязычных научных и научно-популярных работ работников НИУ ВШЭ. На ФКН победителем в научной номинации стал ведущий научный сотрудник лаборатории процессно-ориентированных информационных систем (ПОИС) Владимир Захаров за статью «Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов». Статуса особо отмеченной работы в научно-популярной номинации был удостоен блог ФКН на сайте «Популярная механика» (сейчас — TechInsider), который ведет PR-менеджер факультета Дарья Бочарова. 

Поздравляем заведующего лабораторией искусственного интеллекта для вычислительной биологии Аттилу Кертес-Фаркаша с защитой докторской диссертации.