Камкин Александр Сергеевич

Oбразование и учёные степени

2009

Кандидат физико-математических наук

2003

Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Прикладная математика и информатика», квалификация «математик, системный программист»

Профессиональные интересы

программная инженерия компьютерная инженерия формальные методы верификация программ верификация моделей программ верификация микропроцессоров тестирование на основе моделей статический анализ

Учебные курсы (2024/2025 уч. год)

Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)рус
Высокоуровневое и имитационное моделирование цифровых систем (Бакалавриат; где читается: Московский институт электроники и математики им. А.Н. Тихонова; 4-й курс, 1-3 модуль)рус
Архив учебных курсов

Расписание занятий на сегодня

Расписание занятий по физической культуре в спортивных секциях

Полное расписание

Конференции

2017
Haifa Verification Conference (Хайфа). Доклад: MicroTESK: Specification-Based Tool for Constructing Test Program Generators

Опыт работы

2017 г. - н.в., НИУ ВШЭ

2006 г. - н.в., ИСП РАН

Информация^*

Общий стаж: 18 лет

Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

3

нояб.

2017

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Камкин Александр Сергеевич

Oбразование и учёные степени

Профессиональные интересы

Учебные курсы (2024/2025 уч. год)

Учебные курсы (2023/2024 уч. год)

Учебные курсы (2022/2023 уч. год)

Учебные курсы (2021/2022 уч. год)

Учебные курсы (2020/2021 уч. год)

Расписание занятий на сегодня

Конференции

Опыт работы

Информация^*

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

Камкин Александр Сергеевич

Oбразование и учёные степени

Профессиональные интересы

Учебные курсы (2024/2025 уч. год)

Учебные курсы (2023/2024 уч. год)

Учебные курсы (2022/2023 уч. год)

Учебные курсы (2021/2022 уч. год)

Учебные курсы (2020/2021 уч. год)

Расписание занятий на сегодня

Конференции

Опыт работы

Информация*

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

Информация^*