Du er her: AU Om AU  cs.medarbejdere.au.dk Nyheder Vis nyhed

Facebook Faculty Research Award to Lars Birkedal

26.06.2017 | Sofia Rasmussen

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.

Awards, People , CS frontpage, Featured, Public/media
5004 / i36