We are happy to announce that Dr Yulia Timofeeva from the department's Applied Computing research theme has been awarded a Medical Research Council grant to develop a modelling framework and computational tools for studying synaptic transmitter release in health and disease. The £475K project will run in close collaboration with the laboratory of Professor Kirill Volynski at the UCL Queen Square Institute of Neurology as well as other world-leading experimental laboratories in Europe, USA, Canada and Japan, specialising in state-of-the-art research in synaptic transmission.
We are pleased to report that Dr Sayan Bhattacharya from the Theory and Foundations research theme at the Computer Science Department has received an EPSRC New Investigator Award. This will allow him to lead a research project on the theory and applications of dynamic algorithms. The approximately £250K project will aim to develop new techniques to design algorithms for fundamental optimisation problems in a setting where the input data changes over time.
The proposal was ranked top at its funding prioritisation panel, and the reviewers said:
The intended research explorations are of very high quality and will likely make a substantial impact on the research community; and possibly on the industrial sector.
We are delighted to report that Dr Tom Gur has been awarded a Future Leaders Fellowship on Foundations of classical and quantum verifiable computing, funded by £892K from UK Research and Innovation. Professor Artur Czumaj, the head of the department's Theory and Foundations research theme, has commented:
We congratulate Tom and look forward to hosting this exciting project that he will lead. This prestigious award confirms the high international standing of research at Warwick in theoretical computer science and its rich interfaces with other fields.
Tom’s Future Leaders Fellowship is concerned with algorithms and cryptographic protocols, both in the classical and quantum settings, and their applications to blockchain technology and delegation of computation to the cloud. This research programme is inherently interdisciplinary, involving fundamental research at the intersection of computer science, pure mathematics, and quantum physics.
The vision that this project aims to achieve is to develop new and exciting mathematical tools and to capitalise on their power to the end of pushing the frontiers of verifiable computing; providing new methodologies for meeting the challenges imposed by big data and the societal need for decentralised systems.
The contribution The Reachability Problem for Petri Nets is Not Elementary by Wojciech Czerwinski, Slawomir Lasota, Ranko Lazic, Jerome Leroux and Filip Mazowiecki has won a Best Paper Award at the 51st Annual ACM Symposium on the Theory of Computing, to be held on June 23-26, 2019 in Phoenix, AZ.
This work, which was supported by a Leverhulme Research Fellowship, shows that the central verification problem for Petri nets is much harder than has been known since the landmark result of Richard Lipton in 1976. Petri nets, also known as vector addition systems, are a long established model of concurrency with extensive applications in modelling and analysis of hardware, software and database systems, as well as chemical, biological and business processes.
Royal Society has provided an International Collaboration Award of £225,000 to Professor Feng Hao in the Department of Computer Science, University of Warwick to build an international collaboration with Professor Bimal Kumar Roy of the Indian Statistical Institute on “strengthening e-voting in India”. The project will run from December 2018 to December 2021.
India is the largest democracy in the world by population. As of today, Electronic voting machines (EVMs) have replaced paper ballots in all national and general elections in the country. The aim of this international collaboration is to develop an electronic voting process that will be fully verifiable, hence providing stronger guarantees on the tallying integrity of an election. This builds on the UK team’s leading research on end-to-end verifiable e-voting without tallying authorities (also known as "self-enforcing e-voting") and the India team's strength on cryptography and statistics research. The success of this project will not only provide an invaluable case study, but also a potentially portable solution for other countries that face similar development problems in deploying e-voting securely (e.g., Brazil, Nigeria).
About Royal Society International Collaboration Award
The Global Challenges Research Fund (GCRF) is a £1.5 billion fund announced by the UK Government to support cutting-edge research that addresses the challenges faced by developing or Low and Middle Income countries (LMICs). As part of the GCRF, the Royal Society has launched an International Collaboration award to enable outstanding UK research leaders to develop international collaborations with the best leading researchers from around the world. The award is for three years and offers an exciting opportunity to foster and promote international collaboration between outstanding research groups in the UK and overseas, with a view to supporting work on global challenges and problems facing developing countries.
More details about this award can be found at: https://royalsociety.org/grants-schemes-awards/grants/international-collaborations/
Image ©Rolls Royce Plc
Scientists at the University of Warwick’s Department of Computer Science are to benefit from an initiative that seeks to build links between industry and researchers, as part of a project with Rolls-Royce to create a detailed simulation of a gas-turbine engine in operation.
The research aims to lead to the virtual certification of gas turbine engines, with the researchers also seeking to develop the next generation of engineering simulation and modelling techniques during their project.
Their challenge combines fundamental engineering and computational science research and will tackle a level of detail never before attempted in such a simulation.
The project, to be carried out over five years, involving the universities of Warwick, Bristol, Cambridge and Oxford and led by Edinburgh and is one of seven across the UK to benefit from a £42 million programme that aims to build links between the UK’s research base and industry partners.
This is one of two projects the University of Warwick has been granted money for by the Engineering and Physical Sciences Research Council (EPSRC) Prosperity Partnership, as WMG at the University of Warwick was also granted £7m for development of Rapid Alloy Prototyping. See: https://warwick.ac.uk/newsandevents/pressreleases/the_virtual_factory/
Commenting Professor Stephen Jarvis, Deputy Pro Vice-Chancellor for Research at the University of Warwick and the Warwick Principal Investigator on the Rolls-Royce Prosperity Partnership, said:
“The University of Warwick has been working with Rolls-Royce for the past ten years, investigating ways in which high performance computing can boost the productivity of aircraft engine design and engineering.
“We are delighted to be working with such a strong team of university and industry partners to deliver next generation engineering simulation and modelling capabilities."
Professor Philip Nelson, EPSRC’s Executive Chair said:
“Our first round of Prosperity Partnerships are proving a great success. They are bringing universities and industry together and applying the creative energies of both to engineering and scientific challenges.
“We are confident that these projects will deliver real benefits to all their partners and help the UK research, discover and innovate.”
The research project will begin in October 2018 and will be led by Professor Jarvis and Dr Mudalige from the Department of Computer Science.