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 Criseida Zamora has joined the department to work together with Dr Yulia Timofeeva, Prof Kirill Volynski (UCL) and a number of other world-leading experimental laboratories on an MRC-funded project "Virtual presynaptic nerve terminal". This project aims to develop a unified computational modelling framework which will allow the neuroscience community to explore mechanisms of synaptic transmitter release that cannot be directly determined experimentally.

Criseida is a Bionic engineer working in the Systems Biology field. She received a PhD degree in Biomedical Engineering and Physics working on the analysis of biochemical noise in synthetic genetic circuits at the Center for Research and Advanced Studies of the National Polytechnic Institute in Mexico. Her academic background and research experience have focused hitherto on building in silico models to study emergent properties of molecular systems to answer physiological questions. She has also worked as a postdoctoral scholar at Okinawa Institute of Science and Technology in Japan and the University of Bristol.

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.

We are pleased to report that members of the department's Theory and Foundations research theme have had 6 papers accepted to the 47th International Colloquium on Automata, Languages and Programming, the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science. The papers are:

• On the central levels problem by Petr Gregor, Ondřej Mička and Torsten Mütze
• Matrices of optimal tree-depth and row-invariant parameterized algorithm for integer programming by Timothy Chan, Jacob Cooper, Martin Koutecký, Dan Král and Kristýna Pekárková
• The Complexity of Verifying Loop-free Programs as Differentially Private by Marco Gaboardi, Kobbi Nissim and David Purser
• Rational subsets of Baumslag-Solitar groups by Michaël Cadilhac, Dmitry Chistikov and Georg Zetzsche
• The Strahler number of a parity game by Laure Daviaud, Marcin Jurdzinski and K. S. Thejaswini
• On the power of ordering in linear arithmetic theories by Dmitry Chistikov and Christoph Haase