• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
27240
Электронная почта:
Адрес: АУК "Покровский бульвар", Покровский б-р, д. 11, каб. S831
Время работы: Четверг, 13:40 - 16:30 Пятница, 14:40 - 16:30
Расписание
Резюме (PDF, 427 Кб)
SPIN РИНЦ: 2310-1772
ORCID: 0000-0003-1499-2090
ResearcherID: AAJ-9227-2020
Google Scholar
Руководитель
Верещагин Н. К.
Версия для печати

 

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

Гнатенко Антон Романович

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

Полномочия / обязанности

Проведение научных исследований в международной лаборатории теоретической информатики.

Образование

2019

Бакалавриат: Московский государственный университет им. М.В. Ломоносова, специальность «ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА»

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

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

Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус

Публикации5


Конференции

  • 2019
    Научная конференция "Тихоновские чтения 2019" (Москва). Доклад: О сложности верификации конечных автоматов-преобразователей над свободными полугруппами
  • 2018
    9-th International Workshop Program Semantics, Specification and Verification (Ярославль). Доклад: On the Expressive Power of Some Extensions of Linear Temporal Logic
  • The 12th Anniversary Spring/Summer Young Researchers' Colloquium on Software Engineering (Великий Новгород). Доклад: On the Model Checking of Finite State Transducers over Semigroups

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

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