Professor Lars Birkedal

Digital Library

ACM Fellows

Denmark - 2017

citation

For contributions to the semantic and logical foundations of compilers and program verification systems