Computer Science Summer in Russia (CSSR)

Томас Баар - выпускник Берлинского университета им. Гумбольдта, получил степень PhD в университете Карлсруэ (ныне Технологический институт Карлсруэ), Германия. С 2011 работает в должности профессора по специализации в инженерии ПО и баз данных в Университете прикладных технических и экономических наук, г. Берлин.

В сферу научных интересов Томаса входят методы машинных рассуждений, конструирование языков программирования и моделирования, в том числе предметно-ориентированных языков для верификации гибридных систем.

Старший преподаватель кафедры информатики и вычислительного эксперимента Института математики, механики и компьютерных наук имени И.И. Воровича Южного федерального университета (Ростов-на-Дону), разработчик в JetBrains. Преподает лекции по функциональному программированию, теории вычислений и теории языков программирования.

Член комитета по стандартизации языка Haskell и член наблюдательного комитета компилятора GHC языка Haskell.

Перевёл на русский язык и редактировал переводы нескольких книг по языку Haskell и теории языков программирования. Автор книги "Haskell in Depth" (доступна в рамках программы раннего доступа издательства Manning Publications).

Хайде Брандтштедтер - выпускница Берлинского технического университета, получила степень PhD в Мюнхенском техническом университете. В 2008 присоединилась к лаборатории Сименс в Берлине, где занималась роторной динамикой крупноразмерных электрических агрегатов и торсионным анализом трансмиссии. С апреля 2018 г. работает в должности профессора в Университете прикладных технических и экономических наук, г. Берлин.

Научные интересы связаны с математическим моделированием динамических систем и теорией управления, в частности, управлением в скользящем режиме.

Старший преподаватель кафедр общей информатики и систем информатики Новосибирского государственного университета. Читает лекции по дискретной математике, математической логике и теории языков программирования.

Автор языка и программной реализации Russel - системы, предназначенной для представления формальных дедуктивных систем и машинных рассуждений в них.

Руководитель Отдела анализа данных компании Uma.Tech. Станислав занимается анализом данных и внедрением методов машинного обучения более 3,5 лет. На данный момент управляет группой специалистов в компании Uma.Tech, которая внедряет модели машинного обучения, разрабатывает рекомендательные системы и занимается вопросами Computer Vision .

Старший научный сотрудник Института систем информатики им. А.П. Ершова, специалист в области логики и ее приложений для верификации мультиагентных систем, распределенных алгоритмов.

Работала в Университете Чун ан, Сеул, Южная Корея, участвовала в проекте Computal Европейского Союза по вычислимому анализу. Преподает курсы по формальным методам программной инженерии, в том числе методам верификации, в Новосибирском Государственном Университете.

Специалист в области анализа данных и адаптивного управления. Работает в Институте систем информатики им. А.П. Ершова в тесном сотрудничестве с Лабораторией теории вычислимости и прикладной логики Института математики С.Л. Соболева.


Имеет практический опыт разработки систем извлечения знаний и прогнозирования в различных областях, включая медицину, финансы и биоинформатику. Занимается исследованиями в области создания интеллектуальных самообучающихся робототехнических систем.

Заместитель директора по науке в бельгийской компании Raincode Labs, занимающейся предоставлением услуг по разработке и поддержке компиляторов, а также консультациями по связанными с этим вопросам.

Защитил кандидатскую диссертацию в Свободном университете Амстердама по направлению языковой инжинерии и грамматических технологий. Над этой темой он также работал в немецком Университете Кобленца-Ландау, нидерландском Центре математики и информатики и в Университете Амстердама, где также был активно вовлечён в учебный процесс, осуществлял научное руководство, поддерживал и расширял связи университета с индустрией.

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

Специалист в области логики и ее приложений в инженерии данных и знаний.

После окончания мехмата МГУ защитил диссертацию по теории соответствия в модальной логике. Затем после стажировки в Яндексе работал в должности научного сотрудника в Лондонском университете над фундаментальными проблемами доступа к данным на основе онтологий.

В настоящее время - научный сотрудник департамента компьютерных наук Оксфордского университета в группе теории баз данных.

Руководитель исследовательской группы по верификации департамента компьютерных наук университета г. Ливерпуль. Его исследования относятся к трем взаимосвязанным областям: методы автоматической верификации (в особенности для параметризованных систем и систем с бесконечным числом состояний); методы машинных рассуждений с приложениями к верификации и математике; методы компьютерной безопасности.

Автор более 100 научных работ. Алексей Лисица является председателем-учредителем и членом руководящего комитета серии семинаров VPT (Verification and Program Transformation), шесть выпусков которых проводились eжегодно в ассоциации с ключевыми конференциями CAV или ETAPS.

Алексей был приглашенным экспертом в проекте SC ^ 2, Horizon 2020 по проверке выполнимости (SAT solving) и символьным вычислениям. В настоящее время является руководителем совместного научно-индустриального проекта KTP (Партнерство по передаче знаний) по безопасной обработке данных и технологиям, основанным на блокчейне.

Старший научный сотрудник Института Систем Информатики им. А.П. Ершова и старший преподаватель Новосибиирского государственного университета. Работал в качестве приглашенного профессора и старшего научного сотрудника на факультете информатики Университета Райерсона, Торонто, и в Институте Искусственного Интеллекта при Университете г. Ульм, Германия.

Рецензент журнала ACM «Transactions on Computational Logic» и член программных комитетов ведущих конференций по тематике Искусственного Интеллекта, включая AAAI и IJCAI, а также международного воркшопа по дескрипционным логикам и других конференций близкой тематики.

Основные научные интересы: методы представления знаний, машинных рассуждений и доказательств, инженерия онтологий, методы рассуждения о действиях.

Доцент АлтГТУ им. Ползунова, кандидат физико-математических наук, специалист в области моделирования и тестирования распределенных программных систем на основе автоматных мультиагентных моделей.

Имеет богатый опыт работы в программной индустрии. Автор книги "Основы тестирования и верификации программного обеспечения", изд-во Лань, 2018 г.

Специалист в области высоконагруженных распределенных систем и глубокого обучения. Преподает курсы по данным направлениям в Новосибирском Государственном Университете и является представителем NVIDIA Deep Learning Institute в НГУ.

Имеет богатый опыт работы в промышленных проектах с использованием данных технологий. Примером одного их проектов является система умного паркинга http://green-pay.ru

Кандидат физико-математических наук, доцент АНО ВО «Университет Иннополис». Специалист в области теории программирования и прикладной логики.

Работал в Sydney University of Technology (Австралия), Nazarbayev University (Казахстан), University of Canterbury, Christchurch (Новая Зеландия), Korea Advanced Institute of Science and Technology, Chung-Ang University и Samsung Advanced Technology Training Institute (Южная Корея).

В настоящее время исследовательские интересы связаны с математическими основаниями формальных методов и их приложениями для анализа программных, информационных, распределенных и мультиагентных систем. Текущая работа связана с исследованиями по проекту «Платформенно-независимый подход к формальной спецификации и верификации стандартных математических функций».