Dr Arshad Jhumka from the department’s Artificial Intelligence research theme has been awarded a grant as PI, under the PETRAS SRF programme, to develop and deploy a trusted edge-based Internet of Things (IoT) network. IoT networks are expected to be deployed as solutions to problems in a wide variety of contexts, from non-critical applications such as smart city monitoring to providing support to emergency services such as critical communications. As IoT devices are resource constrained, execution of resource-hungry applications will be offloaded to edge networks for quick response. Such an infrastructure is open to cyber-attacks and needs to be resilient to attack.

Florin Ciucu has been successful with a 491K EPSRC grant application ‘Practical Analysis of Parallel and Networked Queueing Systems’. The project will run for 4 years and will address some fundamental queueing problems at the core of modern computing and communication systems with parallel or network structures. The technical objective is to develop novel martingale-based models and techniques circumventing the historical Poisson assumption on the systems’ input, which has been convincingly shown to be highly misleading for practical purposes. The proposal was supported by IBM Research, Microsoft Research, and VMware.

Dr Victor Sanchez (PI) from the department's Artificial Intelligence research theme and Prof. Carsten Maple (Co-I) from Warwick Manufacturing Group have been further awarded a research grant by the Defence and Security Accelerator (DASA), which is part of the Ministry of Defence, to continue with Phase 2 of the project R-DIPS - "Real-time Detection of Concealment of Intent for Passenger Screening." The project, which began on October 2019 and ends on February 2021, aims at developing a machine learning and computer vision solution to track, in real-time, multiple individuals across a set of non-overlapping surveillance cameras to detect those with suspicious behaviours and movements within an airport. The project will improve the screening process of passengers to detect those attempting to mask nefarious intent. The R-DIPS project is an international collaboration with Prof. Chang-Tsun Li who is also affiliated with Deakin University, Australia.

Prof. Yulan He from the department's Data Science and Human-Centred Computing research themes has been awarded a 3-year EPSRC grant to develop a new framework to study model/data uncertainty and model interpretability of AI systems. The interdisciplinary project will assist system stakeholders and developers to understand and reason about the (business, personal, social, etc.) impact of intelligent systems on the world in which they operate, and to understand how and why decisions are taken. It will run in collaboration with Dr. Ritabrata Dutta from the Statistics Department, and Dr. Nelly Bencomo and Prof. Pete Sawyer from Aston University.

Professor Feng Hao (PI) from the Department of Computer Science and Dr Adrian von Mühlenen (co-I) from the Department of Psychology have been awarded an EPSRC grant on “End to End Authentication of Caller ID in Heterogeneous Telephony Systems”. This project will support a research fellow and a senior research fellow in computer science, each for four years, to explore new ways to stop caller ID spoofing without requiring globally trusted authorities, in collaboration with researchers from the Department of Psychology. This project will also aim to develop impacts by engaging with the telecommunication industry via the project partners: Huawei, Truecall, and RedTone.

The award of this project coincided with the announcement in March 2020 by the Federal Communications Commission (FFC), who proposed mandating the adoption of STIR/SHAKEN for all telecom providers in the US in order to stop the caller ID spoofing scams. However, STIR/SHAKEN requires globally trusted authorities, which have been known to be difficult to manage. As opposed to the top-down approach by the FCC, this EPSRC project aims to take a bottom-up approach to develop more effective and more deployable solutions without relying on any globally trusted third parties.

A University press release on this project can be found here.

Dr Fayyaz Minhas of the Tissue Image Analytics (TIA) lab at the Computer Science department is a co-PI on a £97K grant by Cancer Research UK’s Early Detection Committee to explore machine learning for discovery of pre-neoplastic signature in mesothelioma. He will be working closely with the PI Dr Jan Lukas Robertus, who is a Senior Consultant Cardiothoracic Pathologist at the Royal Brompton Hospital. Dr Minhas will lead on the machine learning and computational pathology side of the project.

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.