Tony Hoare

• Quicksort, Hoare Logic, etc.
• CSP - Communicating Sequential Processes (1978)
• Turing Award (1980)

Robin Milner

• ML programming language, LCF, etc.
• CCS - Calculus of Communicating Systems (1980)
• π-calculus (1992)
• Turing Award (1991)