Date Posted: 10/01/2016
awpgaelen
Permalink

Awarded for groundbreaking contributions to topics ranging from computational complexity, to the analysis of algebraic computations, to logics of programs and verification

 

Category: 
Research
Instance: 
Year: 
2016
Recipients: 
Kozen