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.

2021.03.15 |