Data Science News
Latest two academic promotions
We are happy to announce that Dr Gihan Mudalige and Dr Victor Sanchez have both been promoted to Professor from 1st August 2023.
Many congratulations to our colleagues for all their achievements!
Publication of Professor Edmund Rolls' Book "Brain Computations and Connectivity" by Oxford University Press with Open Access
Professor Edmund Rolls is pleased to announce the publication of his 16th book, Rolls,E.T. (2023) . Oxford University Press: Oxford. Open Access.
Brain Computations and Connectivity provides a computational framework for understanding brain function in health and disease. The book also describes many discoveries on the computational functions of many brain regions.
The book includes research performed with many members of the Department of Computer Science including Professor Jianfeng Feng. The Gatsby Foundation is thanked for a grant towards the cost of enabling this book to be Open Access. A link to the book is available .
Best Paper Award and 5 papers at the 50th ICALP conference
Henry Sinclair-Banks, a PhD student in the the Theory and Foundations (FoCS) Research Group and the Centre for Discrete Mathematics and its Applications (DIMAP), has won a Best Paper Award at , . ICALP is the main conference and annual meeting of the .
Henry's paper, co-authored with researchers from Germany and Poland: Marvin K眉nnemann, Filip Mazowiecki, Lia Sch眉tze, and Karol W臋grzycki, addresses the coverability problem in vector addition systems (VASS), a well-known model of concurrent systems. Coverability is an algorithmic problem for the verification of "safety properties": whether the system always avoids a set of bad states. Henry and his co-authors determine how much time is required to solve this problem in the worst case. They develop an algorithm that improves upon the state of the art that has stood for forty years. They also prove that, in several settings, it is impossible to decide coverability substantially faster, unless there is also a faster algorithm for a classic problem such as Boolean satisfiability (SAT) and finding cycles of fixed length in graphs.
In total, 5 Warwick papers will appear at this year's : 
- Michael Benedikt, Dmitry Chistikov, and Alessio Mansutti, "",
- Sam Coy, , Peter Davies, and , "",
- Charilaos Efthymiou and Weiming Feng, "",
- Marvin K眉nnemann, Filip Mazowiecki, Lia Sch眉tze, Henry Sinclair-Banks, and Karol W臋grzycki, "",
- Konstantinos Zampetakis and Charilaos Efthymiou, "".
This July's will be the 50th edition of the conference.