Гирш Эдуард Алексеевич (Hirsch Eduard Alekseevich).

Родившиеся в январе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в феврале
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29            

Родившиеся в марте
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в апреле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в мае
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в июне
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
 


 

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

 ›

Эдуард Алексеевич Гирш
Дата рождения:

26 декабря 1973(1973-12-26) (41 год)

Место рождения:

Благовещенск

Страна:

Россия Россия

Научная сфера:

математика

Место работы:

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

Учёная степень:

доктор физико-математических наук

Альма-матер:

СПбГУ

Научный руководитель:

Е. Я. Данцин

Награды и премии


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

Сайт:

logic.pdmi.ras.ru


Эдуа́рд Алексе́евич Гирш (26 декабря 1973, Благовещенск, СССР) - российский математик, специалист по теоретической информатике.

Ведущий научный сотрудник Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН (ПОМИ РАН), доктор физико-математических наук, член Совета по науке Министерства образования и науки Российской Федерации, основатель и член наблюдательного совета серии конференций CSR (International Computer Science Symposium in Russia), один из основателей соревнований программ-решателей задачи выполнимости (SAT competition).

Содержание
  • Биография
  • Научная деятельность
  • Премии и награды
  • Библиография
  • Примечания
  • Ссылки
Биография

В 1990 году закончил Физико-математический лицей № 239 (Санкт-Петербург) и поступил на математико-механический факультет СПбГУ на кафедру Математического обеспечения ЭВМ, которую закончил в 1995 году.

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

В 2011 году защитил докторскую диссертацию на тему «Сложность пропозициональной логики».

С 1999 по настоящее время работает в ПОМИ РАН в должности ведущего научного сотрудника лаборатории математической логики.

С 2000 по 2010 год работал в СПбГУ в должности доцента кафедры информатики.

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

Член Совета по науке Министерства образования и науки Российской Федерации. Входил в программные коммитеты конференций ESA, CSR, WoLLIC, IWPEC, SAT, MFCS, STACS. Являлся членом ред. коллегии журналов Journal on Satisfiability, Boolean Modeling and Computation и International Journal of Computer Mathematics.

Научная деятельность

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

Алгоритм для задачи выполнимости k-КНФ (k-SAT), предложенный Э. А. Гиршем совместно с Е. Я. Данциным, A. Goerdt, R. Kannan, J. Kleinberg, C. Papadimitriou, P. Raghavan, U. Schoning в 2002 году, до сих пор является самым быстрым детерминированным алгоритмом для этой задачи .

В совместной работе Э. А. Гирша с Д. Ю. Григорьевым и Д. В. Пасечником была развита теория полуалгебраических систем доказательств - формальных систем, которые используются для доказательств тавтологий, которые основаны на представлении логических выражений при помощи полиномов. Для некоторых таких систем доказаны нижние и верхние оценки.

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

Премии и награды
  • Премия фонда «Династия» для молодых математиков
  • Приз за лучшую статью Европейской ассоциации по теоретической информатике (EATCS)
  • Призы на международных соревнованиях программ для решения задачи выполнимости булевых формул (2002-2003 гг - приз за самую маленькую нерешённую невыполнимую формулу, 2003 г - приз за лучшую программу в категории случайных формул).
Библиография
  • E. A. Hirsch; D. Itsykson; I. Monakhov; A. Smal (2012). «On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography». Theory of Computing Systems (Springer) 51: 179-195. DOI:10.1007/s00224-011-9354-3.
  • E. Dantsin; A. Goerdt; E. A. Hirsch; R. Kannan; J. Kleinberg; C. Papadimitriou; P. Raghavan; U. Schoning (2002). «A Deterministic (2−2/(k+1))^n Algorithm for k-SAT Based on Local Search». Theoretical Computer Science (Elsevier) 289/1: 69-83. DOI:10.1016/S0304-3975(01)00174-8.
  • E. A. Hirsch (2000). «New Worst-Case Upper Bounds for SAT». Journal of Automated Reasoning (Kluwer Academic Publishers) 24(4): 397–420. DOI:10.1023/A:1006340920104.
  • D. Grigoriev; E. A. Hirsch; D. V. Pasechnik (2002). «Complexity of Semi-Algebraic Proofs». Moscow Mathematical Journal 2(4): 647-679. DOI:10.1007/3-540-45841-7_34.
  • E. Dantsin; E. A. Hirsch. Worst-Case Upper Bounds // Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications. - IOS Press, 2009. - Vol. 185. - P. 403-424. - ISBN 978-1-58603-929-5.
Примечания
  1. 1 2 Состав совета по науке министерства образования и науки РФ.
  2. Официальная страница конфереций Computer Science in Russia.
  3. Страница SAT competition.
  4. M. Pătraşcu; R. Williams (2010). «On the possibility of faster SAT algorithms». Proceeding SODA '10 Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms: 1065-1075.
  5. Премия фонда «Династия» для молодых математиков.
  6. Best ICALP papers.
  7. Победители SAT competiotion за 2003 г..

Доп. информация

 

 








Родившиеся в июле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в августе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в сентябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в октябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в ноябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в декабре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

© 2015 famous-birthdays.ru
При использовании материалов сайта прямая, активная ссылка на источник обязательна!
Дата последнего обновления каталога именинников: 2018-09-20