Концепція освітньої діяльності
Приватного закладу вищої освіти «Інститут Формальної Математики»
Документ для подання на ліцензування освітньої діяльності (проект)
1. Загальні відомості
Інститут Формальної Математики — приватний заклад вищої освіти, що спеціалізується на підготовці фахівців у галузі формальної математики, гомотопічної теорії типів, теоретичної інформатики та верифікації програмного забезпечення.
Основна мета — поєднання класичної математичної освіти з сучасними формальними методами (залежні типи, категорійна логіка, механічна верифікація).
2. Рівні та спеціальності вищої освіти
- Перший (бакалаврський) рівень — спеціальності 111 Математика, 122 Комп’ютерні науки (або споріднені).
- Другий (магістерський) рівень — ті ж спеціальності з поглибленою формальною складовою.
- Третій (освітньо-науковий) рівень — доктор філософії в галузі математики / комп’ютерних наук.
Ліцензований обсяг планується мінімальний (відповідно до реальних можливостей набору).
3. Освітні програми та їх забезпечення
Освітні програми будуються на основі курсів п’яти кафедр:
- Факультет прикладної математики: кафедри прикладної математики, теоретичної інформатики, мовного забезпечення.
- Факультет чистої математики: кафедри чистої математики та формальної філософії.
Кожна освітня програма забезпечується не менше ніж трьома науково-педагогічними працівниками з науковим ступенем за основним місцем роботи. Загальний кадровий потенціал — 5 докторів наук.
Детальний каталог курсів з модулями та системою оцінювання розміщено на сайті в розділі «Курси».
4. Кадрове забезпечення
Відповідає Ліцензійним умовам (Постанова КМУ № 1187):
- ≥ 50 % науково-педагогічних працівників мають науковий ступінь / вчене звання та працюють за основним місцем роботи.
- Для магістерського рівня — не менше 10 % докторів наук / професорів.
- Для PhD-програм — не менше 2 докторів наук.
- Кожен викладач має не менше 4 професійних досягнень за останні 5 років.
5. Матеріально-технічне забезпечення
Планується забезпечення навчальними приміщеннями площею не менше 2000 м² (або 2,4 м² на здобувача), комп’ютерними робочими місцями, бібліотекою, лабораторіями для формальної верифікації, мультимедійним обладнанням (≥ 25 % аудиторій).
6. Система забезпечення якості
- Внутрішня система забезпечення якості освіти (відповідно до ст. 16 Закону «Про вищу освіту»).
- Академічна доброчесність.
- Моніторинг та оновлення освітніх програм.
- Зворотний зв’язок від здобувачів освіти та роботодавців.
7. Наукова складова
Наукова діяльність інтегрована в освітній процес: формалізація математики в системах типу Lean/Agda/Coq-подібних, дослідження в HoTT, теорії категорій, верифікації ПЗ.