Науковий комплекс «Групоїд Інфініті»
Науково-навчальний та науково-дослідний комплекс формальної математики
Структури
- Науково-навчальний інститут формальної математики «Групоїд Інфініті» (ННІ ФМГІ) — приватний ЗВО
- Науково-дослідний інститут формальної математики «Групоїд Інфініті» (НДІ ФМГІ) — наукова установа
- Академічне видавництво «Аксіосис» — видавництво макетів довільної складності, поліграфія
- ТОВ «Криптографічні телесистеми» — утримувач майнових прав і ліцензійний бенефеціар академічних творів
Про комплекс
ННІ ФМГІ створюється як приватний заклад вищої освіти відповідно до Закону України «Про вищу освіту». НДІ ФМГІ — як наукова установа відповідно до Закону України «Про наукову і науково-технічну діяльність».
Основна діяльність: освітня діяльність (бакалавр, магістр) та фундаментальні наукові дослідження в галузі формальної математики, гомотопічної теорії типів і верифікації.