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
Dive into the research topics where Александр Сергеевич Охотин is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Projects
- 4 Finished
-
RSF_RG_2018 - 3: Логические и алгебраические методы в теории формальных языков: 2020 г. этап 3
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Макаров, В. М., Шеметова, Е. Н., Мартынова, О. М., Петров, С. А., Сажнева, Е. А., Азимов, Р. Ш. & Мрыхин, М. К.
1/01/20 → 31/12/20
Project
-
KTSE-03 - 2: Создание и функционирование международного научно-методического центра для распространения лучших международных практик подготовки, переподготовки и стажировки продвинутых кадров цифровой экономики в областях математики, информатики, технологий» федерального проекта «Кадры для цифровой экономики» национальной программы «Цифровая экономика в Российской Федерации (КЦЭ-03): 2020 г. этап 2
Авдюшенко, А. Ю., Арзуманян, М. Ю., Белов, Ю. С., Бессонов, Р. В., Брагилевский, В. Н., Гаврилова, Т. А., Зятчин, А. В., Иванов, С. В., Кононова, А. А., Кротов, К. В., Куликов, А. С., Ланцова, М. А., Лебедева, Д. А., Охотин, А. С., Ручьёва, А. С. & Тихомиров, С. Б.
1/01/20 → 31/12/20
Project
-
KTSE-03 - 1: Создание и функционирование международного научно-методического центра для распространения лучших международных практик подготовки, переподготовки и стажировки продвинутых кадров цифровой экономики в областях математики, информатики, технологий» федерального проекта «Кадры для цифровой экономики» национальной программы «Цифровая экономика в Российской Федерации (КЦЭ-03): 2019 г. этап 1
Авдюшенко, А. Ю., Арзуманян, М. Ю., Белов, Ю. С., Бессонов, Р. В., Брагилевский, В. Н., Гаврилова, Т. А., Зятчин, А. В., Иванов, С. В., Кононова, А. А., Кротов, К. В., Куликов, А. С., Ланцова, М. А., Лебедева, Д. А., Охотин, А. С., Ручьёва, А. С. & Тихомиров, С. Б.
10/12/19 → 31/12/19
Project
-
RSF_RG_2018 - 2: Логические и алгебраические методы в теории формальных языков: 2019 г. этап 2
Охотин, А. С., Григорьев, С. В., Пентус, М. Р., Селиванов, В. Л., Сорокин, А. А., Макаров, В. М., Сажнева, Е. А., Азимов, Р. Ш., Шеметова, Е. Н., Мартынова, О. М. & Петров, С. А.
1/01/19 → 31/12/19
Project
Research output
-
Cyclic shift on multi-component grammars
Okhotin, A. & Sorokin, A., 1 Jan 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer Nature, p. 287-299 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12038 LNCS).Research output › › peer-review
-
Extensions of unification modulo ACUI
Baader, F., Marantidis, P., Mottet, A. & Okhotin, A., 1 Jun 2020, In: Mathematical Structures in Computer Science. 30, 6, p. 597-626Research output › peer-review
-
Longer Shortest Strings in Two-Way Finite Automata
Крымский, С. Т. & Okhotin, A., 2020, Descriptional Complexity of Formal Systems - 22nd International Conference, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (eds.). Springer Nature, p. 104-116 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12442 LNCS).Research output › › peer-review
-
On the transformation of ll(k)-linear grammars to ll(1)-linear
Okhotin, A. & Olkhovsky, I., 1 Jun 2020, Computer Science – Theory and Applications - 15th International Computer Science Symposium in Russia, CSR 2020, Proceedings. Fernau, H. (ed.). Springer Nature, p. 328-340 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12159 LNCS).Research output › › peer-review
-
Reversibility of computations in graph-walking automata
Kunc, M. & Okhotin, A., Dec 2020, In: Information and Computation. 275, 104631.Research output › peer-review
Activities
- 1 Организация конференции, заседания рабочей группы, ...
-
13th International Conference on Language and Automata Theory and Applications, LATA 2019
Александр Сергеевич Охотин (Chair) & Carlos Martín-Vide (Chair)
26 Mar 2019 → 29 Mar 2019Activity