ITU researcher receives major grant from the Villum Foundation
Associate Professor Rasmus Ejlers Møgelberg has received 6.4 million kroner for a research project within theoretical computer science.
Rasmus Ejlers Møgelberg, Associate Professor of theoretical computer science at the IT University of Copenhagen, has received a grant of DKK 6.4 million (approx. €857.500) from the Villum Foundation’s programme for talented young researchers within technology and natural sciences. He accepted the Young Investigator-grant at The Black Diamond in Copenhagen on Friday, January 22.
The grant will fund a research project on type theories. Rasmus Ejlers Møgelberg is developing a new type theory for verification of correctness of reactive programs - programs that run for extended periods of time while interacting with their environment.
“Software errors can cause anything from minor annoyances to billion dollar losses, or can even be fatal. As our lives become more and more dependent on computers, we become increasingly vulnerable to errors and security breaches in software. In this project, we aim to develop type theories in which one can construct mathematical proofs of correctness to ensure that systems in for instance airplanes and internet serves function correctly,” Rasmus Ejlers Møgelberg explains.
The grant will finance two PhD students and two Post doc. positions during the five-year project.
Read more about the Young Investigators Programme here.