• Jan 13, 1934
    (b.) -
    Mar 20, 2010
    (d.)

Bio/Description

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