Войти
| Уильям Ян Гасарч | |
|---|---|
| Год рождения | 1959 (возраст 60–61) |
| Национальность | США |
| Alma mater | Университет Стоуни-Брук. Гарвардский университет |
| Известен | , Теорией вычислимости, Теорией Рэмси |
| Научная карьера | |
| Поля | Компьютерные науки |
| Учреждения | Университет Мэриленда, Колледж-Парк |
| Советник доктора | Гарри Р. Льюис |
| Веб-сайт | www.cs.umd.edu / ~ gasarch. http://blog.computationalcomplexity.org/ |
Уильям Ян Гасарч (родился в 1959 г.) - ученый-компьютерщик, известный своими работами в области теории сложности вычислений., теория вычислимости, теория вычислительного обучения и теория Рамсея. В настоящее время он является профессором факультета информатики Университета Мэриленда с дополнительным назначением в области математики.
По состоянию на 2015 год он руководил исследовательскими проектами более 40 старшеклассников, в том числе Джейкоба Лурье. Он ведет блог по вычислительной сложности с Лэнсом Фортноу с 2007 года. Он был редактором рецензии на книгу ACM SIGACT NEWS с 1997 по 2015 год, прежде чем уйти в отставку и передать эту работу Фреду Грину., профессор компьютерных наук в Университете Кларка.
Гасарх получил докторскую степень по информатике от Гарвард в 1985 году, консультировал Гарри Р. Льюис. Его диссертация называлась «Теоретико-рекурсивные методы в теории сложности и комбинаторике». Осенью 1985 года он был нанят на должность профессора в Мэрилендском университете. В 1991 году он получил звание адъюнкт-профессора, а в 1998 году - профессора.
Гасарч стал соучредителем (вместе с Ричардом Бейгелем) области ограниченных запросов в теории рекурсии и написал множество статей в этой области, завершенных книгой по этой теме под названием «Ограниченные запросы в теории рекурсии» в соавторстве с Джорджией Мартин. Он опубликовал такие книги, как «Задачи с точкой», книгу с широким взглядом на математику и теоретическую информатику, в соавторстве с Клайдом Крускалом, и включает работы других профессоров, таких как Дэвид Эппштейн. Он также стал соучредителем области теоретико-рекурсивного индуктивного вывода под названием «Обучение через запросы» с Карлом Смитом. В последнее время он больше занимался комбинаторикой, в частности теорией Рэмси. Он написал два обзора того, что теоретики думают о проблеме P vs NP.
Лэнс Фортноу начал вести блог по теоретической информатике с упором на сложность теории в 2003 году. Газарх был частым гостем блоггером до 2007 года, когда он стал официальным со-блоггером.
