Санкт-Петербург, 199178, Россия, 14-я линия Васильевского острова дом 29 Б
(812) 363-68-71, (812) 363-68-72
ru en
Охотин Александр Сергеевич
Охотин Александр Сергеевич
Профессор
Контакты:

14-ая линия Васильевского острова, дом 29B, Санкт-Петербург, 199178, Россия

alexander.okhotin@spbu.ru

http://users.math-cs.spbu.ru/~okhotin/

Приёмные часы:

По предварительной договоренности


Образование

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.

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

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


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

Название курса
Год
Семестр
Роль
Название курса
Год
2018–2019
Семестр
V, VI, VII
Роль
Семинарист
Год
2018–2019
Семестр
I, II
Роль
Лектор, семинарист
Год
2018–2019
Семестр
III, IV
Роль
Лектор
Название курса
Год
2018–2019
Семестр
VI
Роль
Лектор
Название курса
Год
2017–2018
Семестр
VI
Роль
Семинарист
Год
2017–2018
Семестр
I, II
Роль
Лектор, семинарист
Год
2017–2018
Семестр
III, IV
Роль
Лектор
Название курса
Год
2017–2018
Семестр
VI
Роль
Лектор