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

Родился 26 декабря 1973 года.

В 1995 году окончил с красным дипломом математико-механический факультет СПбГУ, а в 1998 году – аспирантуру ПОМИ РАН.

В декабре 1998 года защитил кандидатскую диссертацию в диссертационном совете при СПбГУ, и с тех пор работает в лаборатории математической логики ПОМИ РАН, а также на кафедре информатики СПбГУ.

В 2000 году вместе с соавторами был удостоен приза "за лучшую статью" Европейской ассоциации по теоретической информатике (EATCS).
В 2002 и 2003 годах получал призы на международных соревнованиях программ для решения задачи выполнимости булевых формул (SAT).
Входит в наблюдательный комитет конференций серии CSR (International Computer Science Symposium in Russia); руководил первой конференцией CSR-2006 в Санкт-Петербурге; участвовал в программных комитетах многочисленных международных конференций.

Имеет 15 публикаций в рецензируемых журналах.