Lars Birkedal, Professor and Head of Department of Computer Science, Aarhus University, has been awarded a Facebook Faculty Research Award. The award is given in recognition of Lars and his groups’ work on higher-order concurrent separation logics and CAPER, which are specifically relevant to Facebook’s interests in taking program verification towards real-world code. Congratulations.