Науково-дослідний інститут формальної математики
«Групоїд Інфініті» (НДІ ФМГІ)
Приватна наукова установа
Статус і правова основа
НДІ ФМГІ створюється як наукова установа відповідно до Закону України «Про наукову і науково-технічну діяльність» (№ 848-VIII). Основним видом діяльності є наукова та науково-технічна діяльність у галузі формальної математики, гомотопічної теорії типів, формальних мов та верифікації.
- Наукова установа — юридична особа, для якої наукова діяльність є основною (ст. 1, ст. 7 Закону).
- У наукових підрозділах посади наукових працівників становлять не менше 50 % (ст. 1).
- Приватні наукові установи мають рівні права з державними (ст. 7).
- Жорстких мінімальних нормативів щодо кількості докторів наук для приватних наукових установ законодавство не встановлює (на відміну від закладів вищої освіти).
Напрями досліджень
- Формальна математика та гомотопічна теорія типів (Anders, Per, Dan, Urs).
- Внутрішні мови категорій (Alonzo, Yves, Henk, Frank, Christine).
- Формальна верифікація системного програмного забезпечення (BTRON Coq Library — 1 818 теорем, 0 аксіом).
- Теорія мов програмування та компіляторів.
- Розробка та підтримка формальних артефактів Groupoid Infinity.
Кадрове забезпечення (мінімальний орієнтир)
Для забезпечення наукової діяльності планується:
- Не менше 50 % посад наукових працівників у наукових підрозділах.
- Наявність докторів наук (рекомендовано не менше 2–3 для стійкої наукової школи).
- Можливість залучення сумісників та виконання робіт за договорами.
Детальна інформація про кадри ННІ ФМГІ (освітнього інституту) — на сторінці Кадри.
Зв’язок з іншими структурами
- Науково-навчальний інститут формальної математики «Групоїд Інфініті» (ННІ ФМГІ) — освітня діяльність.
- ТОВ «Криптографічні телесистеми» — правовласник авторських прав на твори.