Структура Інституту Формальної Математики
Структура відповідає вимогам Закону України «Про вищу освіту» (ст. 33). Для приватних ЗВО структура визначається статутом. Факультети об’єднують кафедри (базові структурні підрозділи).
1. Факультет прикладної математики
Кафедра прикладної математики
- Дискретна математика
- Математична статистика
- Формальні логіки
- Комплексний аналіз
- Чисельні методи
- Математичний аналіз
- Функціональний аналіз
- Звичайні диференційні рівняння
- Диференційні рівняння в частинних похідних
- Рівняння математичної фізики
Кафедра теоретичної інформатики
- Лямбда-числення
- Спектральна теорія графів
- Теорія мов програмування
- Теорія операційних систем
- Теорія масового обслуговування
- Теорія розподілених систем
- Системи реального часу та телеметрія
- Інформаційно-пошукові системи
- Моделювання складних систем
- Комп'ютерні сховища даних
- Комп'ютерні обчислення
- Комп'ютерна графіка
- Комп'ютерні мережі
- Веб-програмування
- Функціональне програмування
- Схемотехніка
- Мікропроцесорні архітектури
Кафедра мовного забезпечення
- Генератор компіляторів
- Інтерпретатори
- Верифікація мікропроцесорів
- Верифікація ПЗ
- Верифікація об`єктного коду
- Теорія математичних мов програмування
- Історія мов програмування
2. Факультет чистої математики
Кафедра чистої математики
- Алгебра
- Геометрія
- Теорія гомотопій
- Теорія чисел
- p-адичний аналіз
- Мотивне інтегрування
- Алгебраїчна топологія
- Диференціальна геометрія
- Гомотопічна теорія типів
- Модельні категорії Квілена
- Локальна гомотопічна теорія
- К-теорія
- М-теорія
Кафедра формальної філософії
- Теорія категорій
- Формальні логіки
- Категоріальна логіка
- Лямбда-числення
- Модальні логіки
- Теорія типів Мартіна-Льофа
- Формалізація штучних мов
- Формалізація людських мов
- Мультимодальна гомотопічна теорія типів
- Теорія топосів
- Теорія інфініті-категорій
Загалом 5 кафедр. Для приватних ЗВО вимога щодо мінімальної кількості науково-педагогічних працівників на кафедру (ст. 33 Закону) може бути адаптована статутом. Кадрове забезпечення здійснюється 5 докторами наук.