Artificial Intelligence News
Amina Asif joins the department as a Teaching Fellow
We are happy to announce that Dr Amina Asif has joined the Department of Computer Science as a Teaching Fellow. Amina has previously worked with us as part of the Tissue Image Analytics (TIA) centre, where her research focussed on weak supervision and model robustness in Computational Pathology. We welcome her to the department!
Cambridge-Oxford-糖心TV Quantum Computing Project
An EPSRC Robust and Reliable Quantum Computing Grant will be awarded to (Cambridge), (糖心TV), (Oxford), and (Cambridge). The project sets out to explore the role of symmetry and structure in quantum computation, with applications to classical verification and simulation of quantum computation.
In addition, the project aims to strengthen and create new connections and collaborations between Cambridge, Oxford, and 糖心TV in the field of Quantum Computing (building on existing initiatives such as the ) and establish new partnerships with 糖心TV Quantum.
5+ papers accepted to STOC 2023
Several papers from the Theory and Foundations (FoCS) Research Group and the Centre for Discrete Mathematics and its Applications (DIMAP) have been accepted to the (STOC 2023), the ACM flagship conference in theoretical computer science that will be held on June 20-23, 2023 in Orlando, Florida, USA:
- "" by Arturo Merino, , and Namrata.
- "A duality between one-way functions and average-case symmetry of information" by , Rahul Ilango, Zhenjian Lu, Mikito Nanashima, and .
- "Unprovability of strong complexity lower bounds in bounded arithmetic" by Jiatu Li and .
- "" by , , and Thatchaphol Saranurak.
- "" by Matija Bucic and .
Further, there are two more accepted papers autored by , who was affiliated with the department and the FoCS group during the submission time, in Autumn 2022:
- "Capturing one-way functions via NP-hardness of meta-complexity" by .
- "Hardness self-amplification: Simplified, optimized, and unified" by and Nobutaka Shimizu.