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

alexander.s.kulikov@gmail.com

https://logic.pdmi.ras.ru/~kulikov/

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

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


Образование

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

2009 — к.ф.-м.н. (по специальности «теоретические основы информатики»)
Место защиты: Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН
Название диссертации: Построение алгоритмов для задач булевой логики при помощи автоматизации, комбинированных мер сложности и запоминания дизъюнктов
Научный руководитель: Э.А. Гирш

2005 — специалист по математическому обеспечению и администрированию информационных систем
Место защиты: Санкт-Петербургский государственный университет


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

Алгоритмы, схемная сложность.


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

  1. M. Cygan, F.V. Fomin, A. Golovnev, A.S. Kulikov, I. Mihajlin, J. Pachocki and A. Socala (2017). Tight lower bounds on graph embedding problems. Journal of the ACM 64(3), Article 18.
  2. A. Golovnev, A.S. Kulikov and I. Mihajlin (2016). Families with infants: speeding up algorithms for NP-hard problems using FFT. ACM Transactions on Algorithms 12(3), Article 35.
  3. M.G. Find, A. Golovnev, E.A. Hirsch and A.S. Kulikov (2016). A better-than-3n lower bound for the circuit complexity of an explicit function. In: Proceedings of the 57th Annual Symposium on Foundations of Computer Science (FOCS 2016), pp. 89–98.
  4. A. Golovnev and A.S. Kulikov (2016). Weighted gate elimination: boolean dispersers for quadratic varieties imply improved circuit lower bounds. In: Preceedings of the 7th ACM Conference on Innovations in Theoretical Computer Science (ITCS 2016), pp. 405–411.
  5. E. Demenkov and A.S. Kulikov (2011). An elementary proof of a 3n - o(n) lower bound on the circuit complexity of affine dispersers. In: Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011), pp. 256–265.

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

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


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

Название курса
Год
Семестр
Роль
Год
2017–2018
Семестр
V
Роль
Лектор