Social
Lars Birkedal (Aarhus University).jpg
Award Recipient

Lars Birkedal

Aarhus University
Social
2020 Amazon Research Award
Modular reasoning about distributed systems: higher-order distributed separation logic
View from space of a connected network around planet Earth representing the Internet of Things.
Get more from Amazon Science
Subscribe to our newsletter

Amazon.com | Conditions of Use | Privacy | © 1996-2026 Amazon.com, Inc. or its affiliates

Social