Image
research at CI

Дослідження в Constructor Institute of Technology

Дослідження в Constructor Institute of Technology
Кафедри Constructor Institute of Technology займаються різноманітними дослідницькими темами, дотримуючись певних принципів:
  • Актуальність: ми працюємо над темами, що становлять безпосередній інтерес для промисловості.
  • Своєчасність: наші дослідження знаходяться на передньому краї міжнародних досліджень.
  • Досконалість: ми застосовуємо найвищі стандарти і публікуємося в журналах і конференціях найвищого рівня.
  • Інтеграція з освітою: ми завжди прагнемо інтегрувати найкращі результати досліджень у наші освітні програми та надаємо студентам можливість брати участь у дослідницьких проектах.
research at CI

Початковий фокус досліджень Constructor Institute of Technology був зосереджений на темах програмної інженерії. Більшість процесів у сучасному світі покладаються на програмні системи та інструменти, деякі з них надзвичайно складні. Правильна розробка цих систем є серйозним викликом. Дослідження Constructor Institute of Technology охоплюють методи сучасного тестування програмного забезпечення, механізовані математичні докази коректності програмного забезпечення, програмну інженерію квантових систем та систем штучного інтелекту, програмні методи для вбудованих систем та "розумних міст", системи, що самовідновлюються та самоадаптуються, та багато іншого, описаного на сторінках дослідницьких кафедр. У найближчі роки будуть додані нові теми, зокрема в галузі квантової програмної інженерії.

Дослідники
Дослідницька співпраця між Constructor Institute of Technology та академічними партнерами

Université de Genève

  • Меморандум про взаєморозуміння підписано 21 квітня 2021 року.
  • Угода про співпрацю підписана 30 листопада 2022 року.

Меморандум про взаєморозуміння було укладено з метою сприяння співпраці у сфері квантових технологій, комп'ютерних наук та бізнесу. Однією з ключових цілей було створення кафедри квантової комунікації. Для початку її реалізації було підписано Угоду про співпрацю. Кафедра була створена влітку 2022 року, завершився процес найму на роботу, і з 1 січня 2023 року кафедра зайнята.

Institut de Recherche en Informatique de Toulouse (IRIT)

  • Співпраця започаткована у 2016 році.

Між кафедрою інженерії програмного забезпечення Constructor та членами IRIT, Науково-дослідного інституту комп'ютерних наук Тулузького університету, існує багаторічна співпраця. Співпраця, започаткована у 2016 році, зосереджена на інженерії вимог, формальних методах специфікації та верифікації програмного забезпечення, а також освітніх питаннях. Обидва університети спільно публікували дослідження, організовували семінари, керували студентами і зараз працюють над книгою. Аспірант з "Конструктора" проводить дослідження інструментів на основі штучного інтелекту для навчання програмуванню в Тулузькому університеті. Крім того, активно шукаються можливості співпраці з іншими дисциплінами, зокрема з фізикою.

School of Computing at NUS

  • Меморандум про взаєморозуміння підписано 28 червня 2019 року.

Меморандум про взаєморозуміння зі Школою комп'ютерних наук НУШ мав на меті сприяти співпраці в галузі комп'ютерних наук, обміну студентами та науковим дослідженням. В результаті партнерства кілька студентів Constructor Institute of Technology вступили на магістерську програму NUS з комп'ютерних наук. Крім того, професор Бертран Мейєр з Constructor Institute of Technology провів три семінари в НУШ у 2019, 2020 та 2023 роках. Наукова співпраця відбувалася у формі технічних дискусій та спільного керівництва магістерськими роботами між професорами Constructor Institute of Technology та Національного університету Сінгапуру.

Constructor University

 

  • Співпраця започаткована у 2023 році.

Співпраця з Університетом Конструктора в Бремені, Німеччина, була започаткована у 2023 році.

Ця співпраця охоплює різні сфери досліджень, включаючи комп'ютери, кібербезпеку, штучний інтелект, програмну інженерію, автономні машини, фізику, квантові технології, передові функціональні інтелектуальні матеріали, інженерію життя та різноманітні сектори бізнесу.