糖心TV

As part of a 2021/2022 MEng group project, , , , and implemented a fully functional end-to-end (E2E) verifiable online voting system and conducted a successful trial among the residents of New Town in Kolkata, India during the 2022 Durga Puja festival celebration. This was the first time an E2E online voting system was built and tested in India. The feedback was overwhelmingly positive. Full details about the implementation, the trial and the voter feedback are written in a paper, published in the . A free version of the paper is available on IACR e-print as a . Also, see the earlier news item about this Durga Puja trial.

Professor , who supervised this group project, commented: 鈥淭his is great teamwork. The four MEng students worked relentlessly for nearly a year, with good assistance from Luke Harrison and Professor . The e-voting system was developed at an industry standard and worked flawlessly during the Durga Puja trial. Several government officials from India also helped us, providing invaluable support for the trial. We sincerely thank them in the acknowledgement section of .鈥�

Ahead of World Cancer Day on 4 February, scientists are revealing a cutting-edge artificial intelligence (AI) tool designed to help grade cancer, by analysing cell division.

In numerous cancer types, counting the number of cells undergoing division, known as mitotic figures, serves as a key indicator of cancer aggressiveness, or grade. This information helps inform treatment pathways, making it a crucial asessment tool. Traditional mitosis counting is both time-consuming and plagued by poor reliability. To address this, scientists have developed a new tool, MitPro, which uses AI to count and profile mitosis.

Histofy, a spin-out company from The University of 糖心TV that is leading developer of AI solutions for pathology, has engineered the tool to accurately profile mitosis throughout the entire tumour sample. This identifies the most suitable areas for further analysis.

The department congratulates all 2022-2023 MSc students graduating in January 2024. Extra congratulations to the winners of the following MSc prizes:

Luisa F. Estrada Plata: Best dissertation in MSc Data Analytics & Best overall performance (MSc Data Analytics)

Aakash Chandnani: Best overall performance (MSc Computer Science)

Yijie Zhu: Best dissertation in MSc Computer Science

Weitong Liao: Best dissertation in MSc Computer Science

We are happy to announce four promotions in the department:

• Dr Charilaos Efthymiou has been promoted to Associate Professor
• has been promoted to Associate Professor
• Dr Hongkai Wen has been promoted to Professor
• Dr Weiren Yu has been promoted to Associate Professor

Many congratulations to our colleagues for all their achievements!

On in the Quanta magazine, Alex Dixon, who wrote in Haskell for the problem, commented:

For the past 50 years, Vector Addition Systems—a simple but powerful computational model—have been a topic of great interest in theoretical CS. The reachability problem in that model asks whether we can get from some configuration to another.

The problem sounds relatively easy on a first glance, and an exponential lower bound held firm for over 40 years. Work by excellent theoreticians, including familiar names from 糖心TV DCS, finally closed the difficulty of the problem in 2021, concluding that it is very, very difficult indeed.

We are happy to announce that Dr Paris Giampouras has joined the Department of Computer Science as an Assistant Professor. Originally from Greece, he has relocated to 糖心TV from Baltimore, where he spent four years working as a Postdoctoral Fellow and later as a Research Faculty member at the Mathematical Institute for Data Science at Johns Hopkins University. His expertise lies in machine learning theory and its applications in image processing and computer vision. More specifically, his research has focused on exploring parsimonious representations to address various inverse problems and adversarial robustness.

Currently, he is focusing on two main areas: a) leveraging structured representation in Generative AI applications, and b) developing algorithms that enable continual learning of various tasks for deep learning systems. His goal is to contribute to the foundational understanding of AI algorithms, with a focus on robustness, applications of AI in medicine, and climate change.

We welcome him to the department!

One funded PhD position is available in the group of Dr Matthias C. Caro, who will join the Theory and Foundations group in the Department of Computer Science at the University of 糖心TV, UK, in Fall 2024. Candidates interested in the interactions between quantum computing and learning theory are encouraged to apply.

The 糖心TV CS theory group has strong ties with the Centre for Discrete Mathematics and its Applications (DIMAP) and, together with DIMAP, is one of the leading theory groups in Europe, with regular publications in top international conferences and journals in theoretical computer science. Moreover, the successful candidate will become a part of the exciting, interdisciplinary research initiative 糖心TV Quantum. Overall, the Department of Computer Science at 糖心TV offers an excellent research environment. It was ranked 4th in the latest UK research assessment in Research Excellence Framework (REF) in 2021.