天美传媒

We are seeking PhD candidates in the topic of Multiagent Systems and related areas, with particular emphasis on one or more of: computational social choice, algorithmic game theory, multiagent learning, and social and economic networks. The multiagent systems researchers at 天美传媒 include , , , Long Tran-Thanh, and .

The expected starting date is October 2025 or as soon as possible thereafter. The deadline for our internal application round is 1 November 2024. To apply, please fill out the (which will ask you to upload a CV and a letter of motivation). We aim to have interviews between November 11th and 22nd, 2024. Top-ranked candidates will be put forward for a fully funded position through the Computer Science Centre for Doctoral Training and Research (CDT) by January 15th 2025.

Many congratulations to Henry Sinclair-Banks for passing his PhD viva today, which was one of the shortest and best in the long memories of the examiners, from the University of Edinburgh, and our own Professor Ranko Lazic.

Six papers co-authored by DIMAP and Theory and Foundations researchers were presented earlier in July at , the 51st International Colloquium on Automata, Languages, and Programming:

• Rohan Acharya, , : Lookahead Games and Efficient Determinisation of History-Deterministic B眉chi Automata,
• Dmitry Chistikov, Alessio Mansutti, Mikhail R. Starchak: ,
• , Guichen Gao, Shaofeng H.-C. Jiang, Robert Krauthgamer, Pavel Vesel媒: ,
• Argyrios Deligkas, Eduard Eiben, Robert Ganian, Iyad Kanj, : ,
• Julian D枚rfler, : ,
• , Rahul Santhanam: .

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (). took place in Tallinn, Estonia, on the 8th to 12th of July 2024.

Dmitry's paper "" won the Best Paper Award of ICALP's Track B, which is a flagship research meeting on Automata, Logic, Semantics, and Theory of Programming. The paper studies the following problem: given a system of linear equations and constraints of the form y=2^x, does it have a solution over the natural numbers? By using and extending a method that generalises , Dmitry and his co-authors Alessio Mansutti and Mikhail Starchak show that the problem belongs to . This result provides a way to efficiently certify the existence of a solution, even if all solutions are very big (towers of exponentials).

This is the second time in a row that this award goes to a Warwick paper: Henry Sinclair-Banks, a DIMAP PhD student, was an awardee in 2023.