Гирш Эдуард Алексеевич

Российский математик. Специалист по теоретической информатике. Доктор физико-математических наук. Профессор РАН. Ведущий научный сотрудник Санкт-Петербургского отделения Математического института имени В. А. Стеклова.

Эдуард Гирш родился 26 декабря 1973 года в городе Благовещенск, Амурская область. В 1990 году окончил физико-математический лицей №239 в городе Санкт-Петербург и поступил в Санкт-Петербургский государственный университет, на кафедру Математического обеспечения Электронно-вычислительных машин. Диплом получил в 1995 году.

В аспирантуру лаборатории математической логики Санкт-Петербургского отделения Математического института имени В.А. Стеклова, ПОМИ РАН, поступил в 1995 году. Через три года успешно защитил кандидатскую диссертацию на тему «Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул». Впоследствии получил ученую степень доктора физико-математических наук.

С 1999 года Гирш работает в ПОМИ РАН. Занимает должность ведущего научного сотрудника лаборатории математической логики. По совместительству, с 2000 по 2010 года, работал в Санкт-Петербургском государственном университете доцентом кафедры информатики.

На кафедре математических и информационных технологий Санкт-Петербургского национального исследовательского Академического университета Российской академии наук с 2008 года занимает пост профессора, исполняет обязанности заместителя заведующего кафедрой по науке и руководит подготовкой магистров по программе «Теоретическая информатика».

Гирш состоит в Совете по науке Министерства образования и науки Российской Федерации. Входил в программные комитеты конференций Европейского космического агентства, Корпоративной социальной ответственности, SAT, MFCS, STACS. Являлся членом редакционной коллегии журналов «Journal on Satisfiability», «Boolean Modeling and Computation» и «International Journal of Computer Mathematics». Входит в экспертный совет Всероссийского образовательного центра для одаренных детей «Сириус» в городе Сочи, Краснодарский край.

Научные интересы и основные результаты профессора относятся к алгоритмам и теории сложности вычислений. Основные результаты включают в себя новые алгоритмы для задачи выполнимости булевой формулы, экспоненциальные нижние оценки для полуалгебраических систем доказательств, конструкции оптимальных эвристических алгоритмов. Алгоритм для задачи выполнимости k-КНФ, предложенный Гиршем в соавторстве является самым быстрым детерминированным алгоритмом для этой задачи.

Совместно с Д.М. Ицыксоном разработал теорию эвристических акцепторов, принимающих алгоритмов, которым разрешено иногда ошибаться на некоторых входах. Такой подход позволяет описывать более широкий круг задач, чем традиционные безошибочные алгоритмы. Для эвристических акцепторов, решающих некоторую задачу, доказано безусловное существование оптимального алгоритма.

Эдуард Алексеевич удостоен премии фонда «Династия» для молодых математиков; приза за лучшую статью Европейской ассоциации по теоретической информатике; призов на международных соревнованиях программ для решения задачи выполнимости булевых формул за самую маленькую нерешенную невыполнимую формулу и за лучшую программу в категории случайных формул.

Премии и награды

Премия фонда «Династия» для молодых математиков

Приз за лучшую статью Европейской ассоциации по теоретической информатике (EATCS)

Призы на международных соревнованиях программ для решения задачи выполнимости булевых формул (2002-2003 гг - приз за самую маленькую нерешённую невыполнимую формулу, 2003 г - приз за лучшую программу в категории случайных формул).