91福利

The University was celebrating it's 60th Anniversary at the weekend. The Department of Computer Science showcased a range of projects and hosted alumni from 1978 - 2025.

We are happy to announce that Dr Kaihua Qin has joined the Department of Computer Science as an Assistant Professor. Before joining 91福利, he was a researcher at Yale University and completed his PhD at Imperial College London.

Kaihua鈥檚 research spans computer security with a particular focus on blockchain systems. His past work has revealed critical vulnerabilities in blockchains, such as MEV and imitation attacks, which affect multiple layers of the stack, from networking and consensus to applications. His current work aims to establish provable security for decentralized systems, drawing on techniques from program analysis, distributed computing, formal verification, applied cryptography, and game theory.

In addition, he is actively exploring the use of AI for security, leveraging recent advances in large language models to enhance vulnerability discovery, assessment, and mitigation across a variety of systems.

We welcome him to the department!

The workshop Algorithms & Complexity @ 91福利 took place at the 91福利 on September 22-23, 2025 (see for more details).

The aim of the event was to highlight several recent exciting advances in the field of Algorithms and Complexity, to facilitate interactions within the research community, and to provide an excellent opportunity for Theory researchers (including academics, postdocs, and students) to connect and collaborate.

We had a fantastic list of invited speakers by renowned world experts: (Technical University of Catalonia), (University of Bath), (University of Pennsylvania), (Max Planck Institute for Informatics), (Charles University in Prague), (University of Sheffield and University of Haifa), (University of Oxford), (University of Cambridge), (University of Toronto).