Участник:PodymovVV — различия между версиями

Версия 19:49, 18 февраля 2015 (просмотреть исходный код) Root (обсуждение | вклад) ← Предыдущая правка		Текущая версия на 10:37, 7 октября 2022 (просмотреть исходный код) PodymovVV (обсуждение | вклад) м
(не показаны 9 промежуточные версии 2 участников)
Строка 1:		Строка 1:
	{{DISPLAYTITLE:Подымов Владислав Васильевич}}		{{DISPLAYTITLE:Подымов Владислав Васильевич}}
		+	[[Image:Podymov.jpg|thumb|right|Подымов Владислав Васильевич]]'''Подымов Владислав Васильевич''' — кандидат физико-математических наук, доцент и учёный секретарь кафедры МК.
−	[[Категория:Сотрудники кафедры математической кибернетики]]	+	* e-mail: valdus@yandex.ru
		+	* [http://istina.msu.ru/profile/pellman/ Профиль в системе ИСТИНА]
		+
		+	== [[Области научных интересов]] ==
		+
		+	* Формальная верификация программ и цифровой аппаратуры
		+	* Проверка эквивалентности программ
		+	* Программно-конфигурируемые сети
		+	* Временные автоматы
		+
		+	== Лекционные курсы ==
		+
		+	* [[Математическая логика (группы 318, 241)]]
		+	* [[Математические методы верификации схем и программ]]
		+	* [[Математические модели и методы проектирования архитектуры сверхбольших интегральных схем]]
		+	* [[Языки описания схем]]
		+
		+	== Спецсеминары ==
		+
		+	* [[Теоретические проблемы программирования]]

---

Текущая версия на 10:37, 7 октября 2022

Подымов Владислав Васильевич — кандидат физико-математических наук, доцент и учёный секретарь кафедры МК.

• e-mail: valdus@yandex.ru
• Профиль в системе ИСТИНА

Области научных интересов

• Формальная верификация программ и цифровой аппаратуры
• Проверка эквивалентности программ
• Программно-конфигурируемые сети
• Временные автоматы

Лекционные курсы

• Математическая логика (группы 318, 241)
• Математические методы верификации схем и программ
• Математические модели и методы проектирования архитектуры сверхбольших интегральных схем
• Языки описания схем

Спецсеминары

• Теоретические проблемы программирования