EATCS Award 2014

Gordon Plotkin receives the EATCS Award 2014 for for his lifetime contribution of a research corpus of exceptional depth and influence across a broad range of areas within theoretical computer science. Plotkin is renowned for his ground-breaking contributions to programming language semantics, which have helped to shape the landscape of theoretical computer science, and which have impacted upon the design of programming languages and their verification technologies. The influence of his pioneering work on logical frameworks pervades modern proof technologies. In addition, he has made outstanding contributions in machine learning, automated theorem proving, and computer-assisted reasoning. He is still active in research at the topmost level, with his current activities placing him at the forefront of fields as diverse as programming semantics, applied logic, and systems biology. Alongside his scientific contributions of the highest calibre, he helped to lay the foundations of the theoretical computer science community, shaping the careers of generations of researchers.

More information

e-max.it: your social media marketing partner
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.