Projects per year
Personal profile
Education/Academic qualification
PhD
17 Apr 2017 → …
Award Date: 17 Apr 2017
PhD, Queen’s University
1 Sep 2001 → 31 Oct 2004
Award Date: 3 Jun 2005
Physical and Mathematical Sciences, Candidate of Sciences
14 Mar 2003 → …
Award Date: 14 Mar 2003
Candidate of Sciences, Moscow State University
20 Dec 2002
Award Date: 20 Dec 2002
Fingerprint
- 1 Similar Profiles
Network
-
RSF_RG_2018 - 5: Логические и алгебраические методы в теории формальных языков: 2022 г. этап 5
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Макаров, В. М., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
1/01/22 → 31/12/22
Project: Grant fulfilment › Grant stage fulfilment
-
RSF_RG_2018 - 4: Логические и алгебраические методы в теории формальных языков: 2021 г. этап 4
Охотин, А. С., Григорьев, С. В., Петров, С. А., Сажнева, Е. А., Мрыхин, М. К., Макаров, В. М., Пентус, М. Р., Селиванов, В. Л., Мартынова, О. М. & Шеметова, Е. Н.
30/04/21 → 31/12/21
Project: Grant fulfilment › Grant stage fulfilment
-
KTSE-03 - 2: Создание и функционирование международного научно-методического центра для распространения лучших международных практик подготовки, переподготовки и стажировки продвинутых кадров цифровой экономики в областях математики, информатики, технологий» федерального проекта «Кадры для цифровой экономики» национальной программы «Цифровая экономика в Российской Федерации (КЦЭ-03): 2020 г. этап 2
Авдюшенко, А. Ю., Арзуманян, М. Ю., Белов, Ю. С., Бессонов, Р. В., Брагилевский, В. Н., Гаврилова, Т. А., Зятчин, А. В., Иванов, С. В., Кононова, А. А., Кротов, К. В., Куликов, А. С., Ланцова, М. А., Лебедева, Д. А., Охотин, А. С., Ручьёва, А. С. & Тихомиров, С. Б.
1/01/20 → 31/12/20
Project: Grant fulfilment › Total grant fulfilment
-
RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М., Петров, С. А., Сажнева, Е. А., Азимов, Р. Ш. & Мрыхин, М. К.
1/01/20 → 31/12/20
Project: Grant fulfilment › Grant stage fulfilment
-
KTSE-03 - 1: Создание и функционирование международного научно-методического центра для распространения лучших международных практик подготовки, переподготовки и стажировки продвинутых кадров цифровой экономики в областях математики, информатики, технологий» федерального проекта «Кадры для цифровой экономики» национальной программы «Цифровая экономика в Российской Федерации (КЦЭ-03): 2019 г. этап 1
Авдюшенко, А. Ю., Арзуманян, М. Ю., Белов, Ю. С., Бессонов, Р. В., Брагилевский, В. Н., Гаврилова, Т. А., Зятчин, А. В., Иванов, С. В., Кононова, А. А., Кротов, К. В., Куликов, А. С., Ланцова, М. А., Лебедева, Д. А., Охотин, А. С., Ручьёва, А. С. & Тихомиров, С. Б.
10/12/19 → 31/12/19
Project: Grant fulfilment › Grant stage fulfilment
Research output
-
Formal languages over GF(2)
Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A. & Sazhneva, E., Feb 2022, In: Information and Computation. 283, 19 p., 104672.Research output: Contribution to journal › Article › peer-review
2 Scopus citations -
State complexity of GF(2)-operations on unary languages
Okhotin, A. & Sazhneva, E., Mar 2022, In: Information and Computation. 284, 15 p., 104693.Research output: Contribution to journal › Article › peer-review
-
Computational and Proof Complexity of Partial String Avoidability
Itsykson, D., Okhotin, A. & Oparin, V., Mar 2021, In: ACM Transactions on Computation Theory. 13, 1, 3442365.Research output: Contribution to journal › Article › peer-review
-
Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata over Small Alphabets
Geffert, V. & Okhotin, A., 30 Dec 2021, Descriptional Complexity of Formal Systems - 23rd IFIP WG 1.02 International Conference, DCFS 2021, Proceedings. Han, Y-S. & Ko, S-K. (eds.). Springer Nature, p. 26-37 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13037 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
-
Input-Driven Pushdown Automata on Well-Nested Infinite Strings
Okhotin, A. & Selivanov, V. L., Jun 2021, Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings. Santhanam, R. & Musatov, D. (eds.). Springer Nature, p. 349-360 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12730 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
-
Cyclic shift on multi-component grammars
Александр Сергеевич Охотин (Speaker) & Алексей Андреевич Сорокин (Speaker)
21 Sep 2021Activity: Talk types › Oral presentation
-
Input-driven pushdown automata on well-nested infinite strings
Александр Сергеевич Охотин (Speaker) & Виктор Львович Селиванов (Speaker)
30 Jun 2021Activity: Talk types › Oral presentation
-
13th International Conference on Language and Automata Theory and Applications, LATA 2019
Александр Сергеевич Охотин (Chair) & Carlos Martín-Vide (Chair)
26 Mar 2019 → 29 Mar 2019Activity: Attendance types › Organizing a conference, workshop, ...