Dr Ranko Lazic has been awarded a Leverhulme Research Fellowship for the 2017/18 academic year, to work on the Petri nets reachability conjecture.
Petri nets, also known as vector addition systems, are one of the most prominent models of concurrency, and their study is a vibrant research area. They have been used to discover bugs and eliminate vulnerabilities in network protocols, concurrent software, business processes, hardware circuits, and control systems.
Professor Artur Czumaj, head of the Foundations of Computer Science research group, has commented:
This prestigious fellowship will further strengthen the internationally leading research in theoretical computer science at Warwick, which recently has been also greatly boosted by the new permanent appointments of Dr Sayan Bhattacharya and Dr Dmitry Chistikov.
The Department is welcoming our new Assistant Professor Dmitry Chistikov, who will be associated with the Division of Theory and Foundations (FoCS) and the Centre for Discrete Mathematics and its Applications (DIMAP).
After obtaining his Candidate of Sciences (equivalent to PhD) degree at the Department of Computational Mathematics and Cybernetics of Moscow State University, Dmitry was a postdoctoral researcher at the Max Planck Institute for Software Systems, as wel as at the University of Oxford.
The general area of Dmitry's research is theoretical computer science. In particular, he is interested in theoretical foundations of verification: its algorithmic aspects (decision and counting problems) as well as combinatorial aspects (extremal properties and characteristics of mathematical models of computation).
For more information about Dmitry's research, please see his web page.
Dr Marcin Jurdzinski and Dr Ranko Lazic from Warwick's DIMAP inter-disciplinary centre and the Computer Science department, jointly with Dr Sven Schewe, Dr John Fearnley and Dr Dominik Wojtczak from the University of Liverpool, will lead a new research project on solving parity games in theory and practice, to run 2017-2020.
The project will be supported by approx. £750K from the EPSRC across the two sites. The proposal was ranked top at its funding prioritisation panel, and the reviewers said:
This is the strongest and best designed proposal on theoretical computer science I have seen in the last five years.
as well as
The proposal is about fundamental research, but there is a clear path connecting the expected results to concrete industrial needs on program verification and program synthesis.
This exciting new EPSRC project builds on excellence in theoretical computer science for which Warwick is internationally renowned. It strengthens our collaborative links with Computer Science at Liverpool, who were likewise one of the leading departments for research outputs in the most recent REF.
Professor Artur Czumaj has been made an EATCS Fellow for "contributions to analysis and design of algorithms, especially to understanding the role of randomization in computer science”.
We offer our warmest congratulations to Professor Martin Hairer, Regius Professor of Mathematics in Warwick’s Mathematics Institute, who has has been awarded the Fields Medal, the world’s most prestigious mathematics award, for his "Outstanding contributions to the theory of stochastic partial differential equations, and in particular for the creation of a theory of regularity structures for such equations."
The Fields Medal is awarded every four years on the occasion of the International Congress of Mathematicians to recognize outstanding mathematical achievement for existing work and for the promise of future achievement. The Medal is internationally regarded as the world’s most prestigious award in the field of mathematics.
As reported in 'Computer Business Review' and 'Computer World' (14/5/2014)
A new partnership between the University of Warwick and Bull Information Systems has been announced supporting IT developments in Big Data. The new partnership will allow leading research scientists from the university to work alongside business consultants and developers from one of Europe’s foremost suppliers of computing hardware, software and consulting services.
“So much has been discussed about the possibilities of big data yet few businesses have the advanced expertise needed to go beyond this,” said Andrew Carr, CEO of Bull UK and Ireland.
“They may already have a vision but be unsure about how to get there - or they may not even be aware of what they could achieve with the data they hold and need help to identify the opportunities.
“By taking this challenge beyond the mainstream business environment and engaging the best brains possible on the subject, we can help organisations start to realise big data implementations by injecting a new dynamism into high performance project development that will enable them to be the first to market with their initiatives.”
Professor Stephen Jarvis, who is leading the partnership at Warwick, stated that "Bull is committed to open standards and 'open ICT solutions' which allows users, including ourselves, to gain real insight and expertise in developing data analytics infrastructures as well as developing skills in using that infrastructure.”
“Organisations are bombarded by data in diverse forms from social media to connected sensors, but few know how to combine structured and unstructured forms and convert data to information to give real value. We aim to help them overcome these barriers and to develop great commercial applications that will significantly improve the experience of their customers.”