Aarhus University Seal / Aarhus Universitets segl

Single - hide in menus

CPV CS frontpage Featured Public/media

Amazon Research Award to Lars Birkedal

Congratulations to Lars Birkedal who has received an $80,000 Amazon Research Award (ARA). The grant will support the research already being done at Centre for Center for basic research in Program Verification (CPV), in which Lars and his team develop fundamental mathematically based models and logics for rigorous mathematical reasoning about correctness and security of software systems.

Lars Birkedal. Photo: VillumFonden