• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
27297
Адрес: АУК "Покровский бульвар", Покровский б-р, д. 11, каб. S919
Время консультаций: По согласованию
Расписание
SPIN РИНЦ: 8587-2241
ORCID: 0000-0001-6374-8575
ResearcherID: B-2194-2014
Scopus AuthorID: 22135022900
Google Scholar
Блоги и соц. сети
ResearchGate
Руководитель
Аветисян А. И.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

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

  • Начал работать в НИУ ВШЭ в 2017 году.
  • Научно-педагогический стаж: 17 лет.

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

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

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

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

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

Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус

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

Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус

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

Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус

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

Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус

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

Верификация программного обеспечения (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Рус

Публикации16

Конференции

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

Опыт работы

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

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


Информация*

  • Общий стаж: 17 лет
  • Научно-педагогический стаж: 17 лет
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

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

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

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

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