Участник:PodymovVV — различия между версиями
Материал из Кафедра математической кибернетики
PodymovVV (обсуждение | вклад) |
PodymovVV (обсуждение | вклад) |
||
| Строка 7: | Строка 7: | ||
== [[Области научных интересов]] == | == [[Области научных интересов]] == | ||
| − | * Формальная верификация программ | + | * Формальная верификация программ и аппаратуры |
* Проверка эквивалентности программ | * Проверка эквивалентности программ | ||
* Программно-конфигурируемые сети | * Программно-конфигурируемые сети | ||
| Строка 14: | Строка 14: | ||
== Лекционные курсы == | == Лекционные курсы == | ||
| − | * [[Математическая логика | + | * [[Математическая логика (группы 318, 241)]] |
| − | + | ||
* [[Математические методы верификации схем и программ]] | * [[Математические методы верификации схем и программ]] | ||
* [[Математические модели и методы проектирования архитектуры сверхбольших интегральных схем]] | * [[Математические модели и методы проектирования архитектуры сверхбольших интегральных схем]] | ||
Версия 11:33, 10 октября 2019
- e-mail: valdus@yandex.ru
- Профиль в системе ИСТИНА
Области научных интересов
- Формальная верификация программ и аппаратуры
- Проверка эквивалентности программ
- Программно-конфигурируемые сети
- Временные автоматы
Лекционные курсы
- Математическая логика (группы 318, 241)
- Математические методы верификации схем и программ
- Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
- Языки описания схем
