Международная лаборатория «Компьютерные...

2
Международная лаборатория «Компьютерные технологии» Международная лаборатория «Компьютерные технологии» проводит исследования по следующим направлениям: џ Технологии программирования. Разработка на основе автоматного подхода методов поисковой инженерии программного обеспечения, позволяющих автоматизировать процесс проектирования, разработки, тестирования и верификации программного обеспечения, в том числе для ответственных систем. џ Машинное обучение. Разработка методов повышения эффективности дискретной оптимизации с помощью алгоритмов машинного обучения, оценка сложности и времени выполнения этих алгоритмов. Разработка методов классификации и кластеризации на основе машинного обучения. џ Биоинформатика. Разработка алгоритмов сборки геномных последовательностей и методов анализа биологических данных. Руководители лаборатории Контакты 197101, Санкт-Петербург, Кронверкский пр., д. 49 +7 (921) 918 - 87 - 85 [email protected] http://ctlab.ifmo.ru http://isu.ifmo.ru/net/87845/29 Партнеры лаборатории Анатолий Шалыто профессор, доктор технических наук Университет ИТМО Валерий Вяткин профессор, доктор технических наук Технический Университет Лулео (Швеция), Университет Аалто (Финляндия) Направления исследований Максим Артемов PhD Университет Вашингтона в Сент-Луисе (США)

Upload: others

Post on 20-May-2020

28 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Международная лаборатория «Компьютерные ...is.ifmo.ru/main/booklet-ru.pdfэффективности дискретной оптимизации

Международная лаборатория «Компьютерные технологии»

Международная лаборатория «Компьютерные технологии» проводит исследования по следующим направлениям:џ Технологии программирования. Разработка на основе автоматного

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

џ Машинное обучение. Разработка методов повышения эффективности дискретной оптимизации с помощью алгоритмов машинного обучения, оценка сложности и времени выполнения этих алгоритмов. Разработка методов классификации и кластеризации на основе машинного обучения.

џ Биоинформатика. Разработка алгоритмов сборки геномных последовательностей и методов анализа биологических данных.

Руководители лаборатории

Контакты

197101, Санкт-Петербург, Кронверкский пр., д. 49

+7 (921) 918 - 87 - 85

[email protected]

http://ctlab.ifmo.ruhttp://isu.ifmo.ru/net/87845/29

Партнеры лаборатории

Анатолий Шалытопрофессор, доктор технических наукУниверситет ИТМО

Валерий Вяткинпрофессор, доктор технических наукТехнический Университет Лулео (Швеция), Университет Аалто (Финляндия)

Направления исследований

Максим АртемовPhDУниверситет Вашингтона в Сент-Луисе (США)

Page 2: Международная лаборатория «Компьютерные ...is.ifmo.ru/main/booklet-ru.pdfэффективности дискретной оптимизации

research.ifmo.ru

МЕЖДУНАРОДНАЯ ЛАБОРАТОРИЯ «КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ»