Каталог проектов

CircuitGen: Графовое представление цифровых схем для маршрута проектирования и машинного обучения

CircuitGen: Многомаршрутная оценка параметров и сбоеустойчивости цифровых схем

Фреймворк тестирования LLM-приложений

Система ранней диагностики редких генетических заболеваний с помощью искусственного интеллекта

Исследование реализаций схем гомоморфного шифрования

Система автоматизированного анализа правильности выполнения элементов фигурного катания

Слайсер для воспроизведения рельефа живописи

AIDiagnostic: разработка VL-модели для КТ с поддержкой русского языка

Авто-наставник для первокурсников

Синтез тестов с гарантированной полнотой с использованием мутационного тестирования на основе автоматной модели

Исследование и проектирование архитектуры мультиплексора сетевых соединений для облачной платформы

Разработка системы умных дверей в симуляторе Gazebo

Развертывание защищённого GPT-сервиса с guardrails: сравнение архитектур MCP и proxy и оценка устойчивости к атакам prompt injection

Разработка многоцелевой модификации модели DICE для оценки экономических и климатических последствий выбросов углекислого газа и метана

Интеграция комплекса средств проверки Verilog-проектов в систему VAI

Разработка и изготовление платы для измерения динамических характеристик мощных МОПТ с использованием интегрального драйвера

Разработка турбо-эквалайзера для восходящего канала

Формирование и верификация SPICE моделей диодов, биполярных , полевых транзисторов для схемотехнического проектирования аппаратуры

Координация арбитров в сети на кристалле при наличии отказов

Стохастическая динамика в системе волна-частица