Awards Directory

Salomaa Prize

Dexter Kozen

University of Turku

Prominent 2026

About This Award

The Salomaa Prize is named after Arto Salomaa, a Finnish mathematician and computer scientist who was one of the founding fathers of automata theory – the study of abstract, self-propelled computing machines and the problems they can solve – and a co-founder of the Developments in Language Theory (DLT) conference.

Read Story

IEEE Test of Time Award

Vitaly Shmatikov

Institute of Electrical and Electronics Engineers

Research 2026

Read Story

NSF Early Career Development Award (CAREER)

Giulia Guidi

National Science Foundation

Education 2026

Sloan Research Fellowship

Abe Davis

Alfred P. Sloan Foundation

Research 2026

Read Story

NSF Early Career Development (CAREER) Award

Sanjiban Choudhury

National Science Foundation

Education 2026

Read Story

NSF Early Career Development (CAREER) Award

Sarah Dean

National Science Foundation

Education 2026

Read Story

ACM CCS Test of Time Award

Vitaly Shmatikov

Association for Computing Machinery Conference on Computer and Communications Security

Research 2025

View Vitaly Shmatikov

Gödel Prize

Eshan Chattopadhyay

EATCS, ACM SIGACT

Prominent 2025

National Academy of Medicine

Deborah Estrin

National Academy of Medicine

Research 2019

Einstein Foundation Berlin Award for Promoting Quality in Research

Paul Ginsparg

Einstein Foundation

Research 2021

ACM SIGCHI Academy

Susan Fussell

ACM SIGCHI Academy

Prominent 2016

Sloan Research Fellowship

Bernd Sturmfels

Alfred P. Sloan Foundation

Research 1991