• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
27240
E-mail:
Address: 11 Pokrovsky Bulvar, Pokrovka Complex, room S831
Timetable
Download CV (PDF, 427 Kb)
SPIN-RSCI: 2310-1772
ORCID: 0000-0003-1499-2090
ResearcherID: AAJ-9227-2020
Google Scholar
Supervisors
N. Vereshchagin
V. V. Podolskii
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Anton Gnatenko

  • Anton Gnatenko has been at HSE University since 2019.

Education

2019

Bachelor's in Applied Mathematics and Information Science
Lomonosov Moscow State University

Courses (2020/2021)

Courses (2019/2020)

Discrete Mathematics (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus

Publications6


Conferences

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

Timetable for today

Full timetable