Derek Dreyer

Digital Library

ACM Fellows

Germany - 2024

citation

For contributions to the logical and semantic foundations of programming languages

Press Release

ACM Senior Member

Germany - 2011