Образование

10.2004 — Ph.D. (по специальности «computer science»)
Место защиты: Queen's University (Kingston, Ontario, Canada)
Название диссертации: Boolean grammars: expressive power and parsing algorithms
Научный руководитель: K.T. Salomaa

12.2002 — к.ф.-м.н. (по специальности «дискретная математика и математическая кибернетика»)
Место защиты: Московский государственный университет им. М.В. Ломоносова
Название диссертации: Вопросы сложности анализа конъюнктивных грамматик
Научный руководитель: В.А. Захаров

06.2001 — специалист в области прикладной математики
Место защиты: Московский государственный университет им. М.В. Ломоносова

Научные интересы

• формальные грамматики
• вопросы сложности в теории автоматов
• алгоритмы синтаксического анализа

Избранные публикации

1. A. Okhotin, Unambiguous finite automata over a unary alphabet, Information and Computation, 212 (2012), 15–36.
2. A. Okhotin, Conjunctive and Boolean grammars: the true general case of the context-free grammars, Computer Science Review, 9 (2013), 27–59.
3. A. Jez and A. Okhotin, Computational completeness of equations over sets of natural numbers, Information and Computation, 237 (2014), 56–94.
4. A. Okhotin, Parsing by matrix multiplication generalized to Boolean grammars, Theoretical Computer Science, 516 (2014), 101–120.
5. M. Barash and A. Okhotin, An extension of context-free grammars with one-sided context specifications, Information and Computation, 237 (2014), 268–293.

Дополнительная информация

См. моё резюме (на английском).

Читаемые курсы