Дослідження в Інституті конструктора

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

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

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

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

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

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

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

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

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

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

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