Визит профессора Цзе Хун Чианга из Национального Университета Тайваня

С 10 по 16 ноября на факультете компьютерных наук был проведен цикл лекций и семинаров для студентов магистратуры 1-2 курсов с участием ведущего зарубежного специалиста профессора Цзе Хун Чианга, Национальный Университет Тайваня.

С 10 по 16 ноября на факультете компьютерных наук был проведен цикл лекций и семинаров для студентов магистратуры 1-2 курсов образовательных программ «Системная и программная инженерия», «Системное программирование», «Науки о данных» факультета компьютерных наук и для аспирантов образовательных программ «Информатика и вычислительная техника» и «Компьютерные и информационные науки» НИУ ВШЭ с участием ведущего зарубежного специалиста профессора Цзе Хун Чианга, Национальный Университет Тайваня. Визит профессора Цзе Хун Чианга состоялся в рамках конкурса HSE Visiting Scholar в целях реализации Плана мероприятий по реализации программы повышения конкурентоспособности ВШЭ: «Развитие линейки глобально конкурентоспособных образовательных продуктов». В рамках курса лекций и семинаров с участием ведущего зарубежного специалиста ППС и студенты НИУ ВШЭ получили возможность ознакомиться с научными исследованиями, которые проводятся в Национальном Университете Тайваня, в том числе, в области верификации сложных систем на основе решения проблемы выполнимости (SAT проблема) для булевых формул, квантифицированных булевых формул (QBF), стохастических булевых формул (SQBF). В частности, 12 ноября, профессор Цзе Хун Чианг выступил на коллоквиуме ФКН с лекцией “Some Adventures in Boolean Satisfiability and Its Logic Synthesis Applications”

Результаты мероприятия будут использованы для проведения или продолжения исследований в ВШЭ в различных областях с использованием результатов, представленных в цикле лекций профессора Цзе Хун Чианга. Курс лекций и проведенные семинары способствовали установлению более тесных культурных и научных связей между НИУ ВШЭ и Национальным Университетом Тайваня (входит в ТОП 100 университетов мира), и в процессе визита профессора Цзе Хун Чианга обсуждалось формирование совместной программы для обмена студентами и аспирантами между НИУ ВШЭ и национальным Университетом Тайваня.