Профессор Стив Ждацевич выступил с докладом: "Проект VeLLVM"
На заседании семинара "Математические модели информационных технологий" выступил с докладом Стив Ждацевич (Университет Пенсильваннии)
Профессор Томас Хейзигер выступил с докладом: "Реактивные системы: мощная парадигма для моделирования и анализа от инженерных до биологических систем"
На заседании семинара "Математические модели информационных технологий" выступил профессор Thomas A. Henzinger (IST Austria)
Даниэль Борхман (TU Dresden) выступил с докладом: "Вероятностное вычисление приближенного канонического базиса"
На заседании семинара "Математические модели информационных технологий" выступил профессор Даниэль Борхман, Технический Университет Дрездена
Cотрудники лаборатории выступили на хакатоне "Культура в современном медиапространстве"
Сотрудники МНУЛ ИССА выступили на хакатоне
Взаимное оценивание студентов: от идеи к реализации
21 ноября в Вышке прошла методическая мастерская «Взаимное оценивание студентов: от идеи к реализации».Мастерскую провели – Алексей Незнанов, доцент департамента анализа данных и искусственного интеллекта и Ольга Максименкова, старший преподаватель департамента программной инженерии факультета компьютерных наук НИУ ВШЭ.
«Моя жизнь связана с Высшей школой экономики уже 10 лет»
31 октября состоялась защита кандидатской диссертации Екатерины Черняк, выпускницы бакалавриата и магистратуры отделения «Прикладной математики и информатики» первого набора, научного сотрудника Международной научно-учебной лаборатории интеллектуальных систем и структурного анализа и преподавателя факультета компьютерных наук. Как научить компьютер выделять корни в сложных немецких словах, что общего между цепочками геномов и стихотворениями Маяковского, почему с помощью глубинного обучения можно предсказывать будущее – об этом и многом другом читайте в интервью Екатерины.
Профессор Университета Западной Австралии Марк Рейнольдс прочитал лекции на факультете компьютерных наук и факультете математики
Марк Рейнольдс - профессор, руководитель школы компьютерных наук и программной инженерии Унивеситета Западной Австралии, соавтор фундаментальной двухтомной монографии "Темпоральная логика: математические основания и вычислительные аспекты", ведущий специалист в данной области.
Сотрудник лаборатории принял активное участие в школе Microsoft DevCon School
Младший научный сотрудник лаборатории Паринов Андрей Андреевич принял участие в школе Microsoft DevCon School
Состоялась 13-я Международная Конференция в области Решеток Понятий и их Приложений CLA-2016
C 18 по 22 июля в НИУ ВШЭ прошла 13-я Международная Конференция в области Решеток Понятий и их Приложений CLA-2016. Организатором конференции является Международная научно-учебная лаборатория интеллектуальных систем и структурного анализа.