Александр Куликов

Опыт работы

• Исследователь

  Лаборатория алгоритмической биологии, Санкт-Петербург http://bioinf.aptu.ru
  2 — 10 человек, Наука, образование / Естественные науки

  Январь 2011 — продолжаю работать

• Научный сотрудник

  ПОМИ РАН, лаборатория математической логики, Санкт-Петербург http://www.pdmi.ras.ru
  101 — 1000 человек, Наука, образование / Естественные науки

  Октябрь 2009 — продолжаю работать

• Преподаватель

  Академия современного программирования, Санкт-Петербург http://amse.ru
  101 — 1000 человек, Наука, образование / Технические науки

  Сентябрь 2008 — продолжаю работать

• Доцент

  АУ РАН, кафедра математических и информационных технологий, Санкт-Петербург http://logic.pdmi.ras.ru/aptu/
  101 — 1000 человек, Наука, образование / Естественные науки

  Сентябрь 2008 — продолжаю работать

• Координатор клуба, преподаватель

  Computer Science клуб при ПОМИ РАН, Санкт-Петербург http://logic.pdmi.ras.ru/~infclu­b/
  101 — 1000 человек, Наука, образование / Естественные науки

  Сентябрь 2007 — продолжаю работать

• Программист

  ЗАО "Транзас" (www.transas.com), Санкт-Петербург
  101 — 1000 человек, IT, интернет, связь, телеком

  Ноябрь 2005 — Февраль 2007

  Отдел береговых систем

• Старший программист

  ПОМИ РАН
  1 человек (только я)

  Сентябрь 2003 — Сентябрь 2005

  Разработка программы для автоматического доказательства корректности микросхем ("Verifying Algebraic Circuits Using the Semi-Algebraic Approach"). Проект спонсировался фирмой Интел.

Образование

• ПОМИ РАН (Санкт-Петербургское отделение математического института им. В.А. Стеклова РАН), Санкт-Петербург, Кандидат наук

  лаборатория математической логики

  2005 — 2008

• СПбГУ (Санкт-Петербургский государственный университет; ЛГУ), Санкт-Петербург, Специалист

  ф-т Математико-механический

  2000 — 2005

  GPA: 5.0

• шк. 239, Санкт-Петербург

  1996 — 2000, класс выпуска: 11

  класс 2000-1