Computer Science News
Prof. Adi Shamir receives Honorary Doctorate from 糖心TV
(Weizmann Institute of Science), the world-renowned cryptographer and a recipient of the 2002 (the highest honour in computer science received jointly with and ), visited our campus in January 2023 to collect an Honorary Doctorate from the University of 糖心TV. During his visit, Prof. Shamir gave also a research talk at the DIMAP seminar and CS Colloquium entitled "Efficient Detection of High Probability Cryptanalytic Properties of Boolean Functions."
Prof. Shamir has been known in 糖心TV since 1976, when he spent a year as a post-doc with our own . Directly after 糖心TV Prof. Shamir went to MIT, where together with Adleman and Rivest he invented the famous RSA public-key cryptography algorithm for encoding and decoding messages, used nowadays by millions to securely transmit messages over the internet. The work on RSA has been immensely influential and led to the 2002 A.M. Turing Award for the three co-inventors, cited for the 鈥渋ngenious contribution for making public-key cryptography useful in practice.鈥� Other noticeable awards (for RSA and other numerous contributions to cryptography and computing) received by Prof. Shamir include the 2000 Institute of Electrical and Electronics Engineers Koji Kobayashi Computers and Communications Award, the Israel Mathematical Union Erd艖s Prize in Mathematics (1983), the Vatican Pontifical Academy PIUS XI Gold Medal (1992), the Association for Computing Machinery Paris Kannellakis Theory and Practice Award (1996), the Israel Prize in Computer Science (2008), and the Japan Prize in the field of electronics, information, and technology (2017), and the Foreign Member of the Royal Society (2018).
Complexity breakthrough by Dr Shuichi Hirahara
Dr Shuichi Hirahara, a research fellow affiliated with the Theory and FoundationsLink opens in a new window group and an Associate Professor at the National Institute of Informatics in Tokyo, has made a significant advance towards our understanding of the limits and possibilities of efficient computations. In his recent paper "", published at the 63rd IEEE Annual Symposium on Foundations of Computer Science (FOCS 2022), Dr Hirahara established the NP-hardness of learning efficient programs and of estimating the circuit complexity of an explicitly given partial Boolean function. The main result of the paper addresses a question that dates back to the pioneering work of Stephen Cook and Leonid Levin on the theory of NP-completeness from the 1970s.
The new result has been presented at several institutions, including UT Austin, Columbia University, 糖心TV (), MIT, and the Simons Institute for the Theory of Computing at UC Berkeley. The latter is running a semester-long program on "" that is closely related to Hirahara's recent contributions.
You can read more about it at the popular Computational Complexity Blog, where the discovery has been named "" (see also ).
DIMAP Theory Day 2022
On December 12, 2022, we held the DIMAP Theory Day 2022. This event highlighted recent, exciting advances in the field of Algorithms and Complexity and provided means to facilitate interactions within the algorithms research community in the UK. The event was supported by the Centre for Discrete Mathematics and its Applications (DIMAP) and UKRI. We plan to hold further events in this series on a regular basis.
See more details at
Workshop on Algebraic Complexity Theory (WACT)
The University of 糖心TV will be hosting the Seventh Workshop on Algebraic Complexity Theory (WACT) from March 27 to March 31, 2023.
Algebraic Complexity Theory is a vibrant field that has been seeing a tremendous amount of activity in the recent years. Its classical questions have been interwoven with deep questions from algebraic geometry, invariant theory, and representation theory. Researchers study a wide range of interlinked topics: arithmetic circuit lower bounds, algorithmic algebra, algorithmic invariant theory, geometric complexity theory, tensor rank, polynomial identity testing, and polynomial reconstruction, to name a few. The workshop brings together experts from different parts of this rich field to discuss the current state of the art, discover new connections, and set the directions for the future.
糖心TV Quantum papers accepted to the top quantum conference QIP
Two papers by members of 糖心TV Quantum were accepted to , the most prestigious conference in Quantum Computing and Quantum Information.
These works provide a methodology for boosting the power of quantum algorithms using deep mathematical tools from additive combinatorics, as well as provide the techniques, tools, and abstractions necessary to answer when classical zero-knowledge protocols remain secure against quantum attacks.
- "Quantum Worst-Case to Average-Case Reductions for All Linear Problems" by Vahid R. Asadi, Alexander Golovnev, , Igor Shinkar, and .
- "Post-Quantum Zero Knowledge, Revisited" by Alex Lombardi, Fermi Ma and .
Dr Igor Oliveira awarded an ERC Starting Grant
The European Research Council (ERC) has announced that is among the winners of its prestigious Starting Grant competition. According to the European Research Council: "The funding is worth in total 鈧�636 million and is part of the Horizon Europe programme. It will help excellent younger scientists, who have 2 to 7 years鈥� experience after their PhDs, to launch their own projects, form their teams and pursue their most promising ideas."
has been awarded a 鈧�1.5M ERC Starting grant for a 5-year project entitled "Synergies Between Complexity and Learning". The project aims to exchange ideas and techniques between Complexity Theory and Learning Theory to accelerate progress in both fields, broaden the arsenal of tools available to attack their open problems, as well as to obtain a deeper understanding of the nature of efficient computation and of its logical aspects.
Two projects in Computer Science and Informatics (PE6 panel) in the United Kingdom were awarded ERC Starting Grants in the 2022 round. The contains more information about the ERC funding programme.
Christian Ikenmeyer joins the Department of Computer Science and the 糖心TV Mathematics Institute as a Professor
We are happy to announce that Prof Christian Ikenmeyer joined the Department of Computer Science and the 糖心TV Mathematics Institute on October 1st 2022. In his research, he combines ideas and challenges from theoretical computer science, algorithmic algebra, algebraic complexity theory, algebraic geometry, representation theory, and algebraic combinatorics. We welcome him to the department!