• 1934
    (b.) -
    2010 March 20
    (d.)

Bio/Description

Theoretical Foundations of Computing, formal methods, pi-calculus, developed CCS. Elected Fellow of Ruyal Society, 1988, ACM Turing award, 1994.