Image
Research CIT

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

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

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

Дослідники
Research Highlights