VILLUM FONDEN has selected Professor Lars Birkedal to become a Villum Investigator. With this honor comes a grant of DKK 35.4 million to set up the Center for Basic Research in Program Verification (CPV) at the Department of Computer science, Aarhus University.
2019.04.02 |
Lars Birkedal has received DKK 35.4 M to create and run an internationally leading Center for Basic Research in Program Verification (CPV) over the next six years. The center will employ approximately 8 PhD students and 7 postdocs. CPV will build on Birkedal’s recent breakthrough results in program verification for modern software systems. Software systems are an integral part of modern society, and software errors and security breaches pose enormous costs and risks. CPV will develop new mathematically based models and logics that will improve correctness and security of software systems.
What began as a field of 80 applicants to become the next Villum Investigators, has ended with 11 leading science and technology researchers who – in total - will receive DKK 410 million from VILLUM FONDEN. “Each of the 11 excels in their field, and they all fulfill to the utmost the requirements for being selected as a Villum Investigator. By combining intellectual curiosity, talent, experience and ability to bring together talented scientists, they have managed to establish, develop, and foster international research groups and make significant contributions to science and technology, and, by extension, to the world we live in,” says Thomas Bjørnholm, executive chief scientific officer at VILLUM FONDEN.
A ceremony celebrating the selection of the new Villum Investigators will be held on 2 May at the Villum Window Collection, in Søborg, Denmark. The Minister of Higher Education and Science, Tommy Ahlers, will participate in the celebration.
About Lars Birkedal: Lars Birkedal (47), Ph.D. from Carnegie Mellon University (USA), is a recognized professor in Computer Science from Aarhus University, where he heads the Logic and Semantics research group. In 2017, Lars Birkedal was named ACM fellow, and in 2016 he was elected member of the Royal Danish Academy of Sciences and Letters. In 2015 he received the EliteForsk Prize from the Danish Ministry of Research. Privately, Lars lives in Risskov with his wife and two children. More info at: www.cs.au.dk/~birke
About Villum Investigator Programme:
Villum Investigators 2019