• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
22508
Электронная почта:
Адрес: Кочновский пр., д. 3, каб. 434
Время присутствия: Необходимо согласовывать время консультаций
Расписание
Резюме (DOCX, 19 Кб)
SPIN РИНЦ: 8587-2241
ORCID: 0000-0001-6374-8575
ResearcherID: B-2194-2014
Scopus AuthorID: 22135022900
Google Scholar
Блоги и соц. сети
Facebook
LinkedIn
ResearchGate
Руководитель
Аветисян А. И.
Версия для печати

 

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

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

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

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

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

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

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

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

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

Публикации14


Конференции

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

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

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

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

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