Премия Гёделя (англ.Gödel Prize) — премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT, (Special Interest Group on Algorithms and Computation Theory) и EATCS, (European Association for Theoretical Computer Science) за выдающиеся труды по логике и теоретической информатике.
Премия вручается с 1993 года и сопровождается денежным вознаграждением размером в 5000 долларов США[1]. Награждение проходит либо на американском симпозиуме STOC[англ.], (Symposium on Theory of Computing), либо на европейской конференции ICALP[англ.], (International Colloquium on Automata, Languages and Programming). Основным требованием к работе является дата первой публикации — к номинации допускаются лишь труды не старше 14 лет.
за зигзаг-произведение графов и нахождение логарифмического по памяти детерминированного алгоритма решения задачи неориентированной st-связности[англ.][33].
за вклад в понимание того, как эгоистичное поведение пользователей и поставщиков услуг влияет на поведение Интернета и других сложных вычислительных систем[36].
↑2017 Gödel Prize (неопр.). European Association for Theoretical Computer Science. EATCS. Дата обращения: 29 марта 2017. Архивировано 16 апреля 2019 года.
Премия Тьюринга — самая престижная премия по информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Премия Кнута — премия, присуждаемая с 1996 года за особый вклад в развитие основ информатики, названная в честь американского математика и автора книг о теории вычислительных систем Дональда Кнута. Премия вручается каждые полтора года и сопровождается денежным вознаграждением размером в 5000 долларов.
Раджив Мотвани — американский учёный индийского происхождения, профессор информатики Стэнфордского университета.
Алекса́ндр Алекса́ндрович Разбо́ров — российский и американский математик, член-корреспондент РАН, специалист в области теории вычислений. Имеет число Эрдёша, равное 2.
Шафи Гольдвассер — израильско-американская учёная, исследовательница в области теории вычислительных систем, лауреат премии Тьюринга 2012 года. Является профессором по электротехнике в Массачусетском технологическом институте и по математике в институте Вейцмана.
Ави Вигдерзон — израильский математик, специалист в области теоретической информатики, лауреат международных премий в области математики и информатики, в том числе Абелевской премии (2021) и премии Тьюринга (2023); член Национальной академии наук США с 2013 года.
Уриэль Фейге — израильский информатик, в настоящее время профессор информатики и прикладной математики в институте Вейцмана.
Эва Тардош — венгерско-американский математик. Профессор Корнеллского университета, заведующий кафедры информатики, член Национальной академии наук США (2013) и Американского философского общества (2020). Она написала более полутора сотен научных статей, довела до защиты более дюжины аспирантов и на 2016 год имеет индекс Хирша равный 58. Её самые широко цитируемые работы посвящены общему проектированию алгоритмов, решениям задач максимизации распространения влияния в социальной сети и оценке того, как влияет на работу сети эгоистическая маршрутизация.
Дэниел Алан Спилмен — американский математик, с 2006 года работает преподавателем прикладной математики и информатики в Йельском университете. В октябре 2012 года получил стипендию Мак-Артура.
Дэн Боне, или Дан Боне , — преподаватель и исследователь в области практической криптографии и компьютерной безопасности.
Ричард Джей Липтон — американо-британский специалист компьютерных наук, который работает в области теоретической информатики, криптографии и ДНК-вычислений.
Синтия Дворк — американский теоретический информатик, специалист в области конфиденциальности. Доктор философии (1983), сотрудница Microsoft и прежде IBM, профессор Гарвардского университета, член Национальных Академии наук (2014) и Инженерной академии (2008) США, а также Американского философского общества (2016).
Мадху Судан — индийско-американский учёный в области информатики. Профессор Гарвардского университета, перед тем профессор Массачусетского технологического института и сотрудник IBM и Microsoft. Член Национальной АН США (2017) и Американской академии искусств и наук (2010).
SIGACT — специальная группа в ACM, целью которой является поддержка исследований в теоретической информатике. Основана Патриком Фишером в 1968 году.
Морис Херлихи — американский ученый в области информатики, специализирующийся на теме синхронизации в мультипроцессорах. Херлихи внес вклад в такие области как теоретические основы неблокирующей синхронизации, линиаризируемые структуры данных, приложение комбинаторной топологии к распределенным вычислениям, а также программная транзакционная память. Он занимает должность профессора информатики в Брауновском Университете, где он работает с 1994 года.
Нир Шавит — израильский учёный в области информатики. Профессор факультета информатики в Тель-Авивском университете и профессор электротехники и информатики в Массачусетском технологическом институте.
Тэн Шанхуа́ — китайский и американский учёный-информатик, лауреат престижных международных премий.
Фо́тиос Заха́роглу — греко-американский учёный в области информатики и электротехники, профессор департамента компьютерной инженерии и информатики Калифорнийского университета в Сан-Диего. Лауреат Премии Гёделя (2004).
Одед Регев — израильско-американский учёный, теоретик информатики и математик. Лауреат премии Гёделя. Профессор информатики в Курантовском институте при Нью-Йоркском университете. Наиболее известен своими работами в области решётчатой криптографии, в частности постановкой задачи обучения с ошибками (LWE), криптоанализом схем GGH и NTRUSign, а также разработкой нового квантового алгоритма по факторизации чисел, превосходящего по эффективности алгоритм Шора.
Ричард Райан Уильямс, известный как Райан Уильямс, — американский ученый в области теоретической информатики, известный своими работами по теории сложности вычислений и алгоритмам.
Эта страница основана на статье Википедии. Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия. Изображения, видео и звуки доступны по их собственным лицензиям.
