Friday, 01 December 2023
An academic from the University of Nottingham has been awarded a Consolidator grant from the European Research Council (ERC), worth €2 million, to further explore an area in the intersection of computer science and mathematics.
Dr Nicolai Kraus, from the School of Computer Science, will use the grant to develop connections between type theories, formal systems that certain computer programming languages are based on.
When computer programs fail or don’t work properly, type theories allow programmers to avoid software problems. Using mathematical languages, experts can use type theories to check mathematical reasoning and check for any mistakes in programming.
Computer errors of this type in the past have caused airplanes to crash and the failure of rocket launches, so the ability to prevent these mistakes and correct them is highly beneficial.
The Consolidator Grant will allow Dr Nicolai Kraus to enable different type theories, that understand different mathematical languages, to work together effectively. It is hoped that translations between these languages will help make the technology easier to use and enable the general population to benefit from it.
He hopes that the work supported by this ERC Consolidator grant will help researchers in the field to better benefit from each other’s results and reduce the amount of work that has to be replicated.
Whilst this project is funded for five years, Dr Kraus expects that deep underlying mathematical challenges will mean that there won’t be a simple single solution to the problem. Instead, he hopes to find a collection of results that can form the basis for further future developments in the sector.
He explained: “Type theories are systems that allow computers to check and assist with formal reasoning. We can use type theories to verify mathematical theorems, or to write computer programs that come with a proof of correctness, which means that the program is guaranteed to do exactly what its specification says.
“It is a vibrant field and it is absolutely impressive what people have achieved using type theories. But people have different preferences and priorities, which is why many different type theories are used today, and it is not always easy to transport work from one to another. This is exactly the issue that my team and I will try to resolve in this project, by constructing translations and finding connections between type theories."
The ERC selected 308 researchers for this year’s Consolidator Grants, where academics are pursuing the most promising scientific ideas.
President of the European Research Council Professor Maria Leptin said: “The new Consolidator Grant winners represent some of the best of European research. It is disappointing that we cannot support every deserving project simply due to budget constraints; around 100 proposals identified as excellent in our rigorous evaluation will be left unfunded. Can Europe afford to let such talent go unrealised?"
More information is available from Dr Nicolai Kraus on Nicolai.Kraus@nottingham.ac.uk
Notes to editors:
About the University of Nottingham
Ranked 32 in Europe and 16th in the UK by the QS World University Rankings: Europe 2024, the University of Nottingham is a founding member of the Russell Group of research-intensive universities. Studying at the University of Nottingham is a life-changing experience, and we pride ourselves on unlocking the potential of our students. We have a pioneering spirit, expressed in the vision of our founder Sir Jesse Boot, which has seen us lead the way in establishing campuses in China and Malaysia - part of a globally connected network of education, research and industrial engagement.
Nottingham was crowned Sports University of the Year by The Times and Sunday Times Good University Guide 2024 – the third time it has been given the honour since 2018 – and by the Daily Mail University Guide 2024.
The university is among the best universities in the UK for the strength of our research, positioned seventh for research power in the UK according to REF 2021. The birthplace of discoveries such as MRI and ibuprofen, our innovations transform lives and tackle global problems such as sustainable food supplies, ending modern slavery, developing greener transport, and reducing reliance on fossil fuels.
The university is a major employer and industry partner - locally and globally - and our graduates are the second most targeted by the UK's top employers, according to The Graduate Market in 2022 report by High Fliers Research.
We lead the Universities for Nottingham initiative, in partnership with Nottingham Trent University, a pioneering collaboration between the city’s two world-class institutions to improve levels of prosperity, opportunity, sustainability, health and wellbeing for residents in the city and region we are proud to call home.