Turing Award winners that are members of the Academy#
Note: The Turing award is probably the most prestigious award in Informatics. Since its origins are in the US, it is a particualr rarity that European scientists obtain this award.
- Turing Award 1976: Dana Scott
- Turing Award 1980: Charles Hoare
- Turing Award 1991: Robin Milner † 2010
- Turing Award 1996: Amir Pnueli † 2009
- Turing Award 2007: Jozef Sikfakis
| operated by | 
|
