We are pleased to report that members of the department's Theory and Foundations research theme have had 6 papers accepted to the 47th International Colloquium on Automata, Languages and Programming, the main European conference in Theoretical Computer Science and annual meeting of the European Association for Theoretical Computer Science. The papers are:

• On the central levels problem by Petr Gregor, Ondřej Mička and Torsten Mütze
• Matrices of optimal tree-depth and row-invariant parameterized algorithm for integer programming by Timothy Chan, Jacob Cooper, Martin Koutecký, Dan Král and Kristýna Pekárková
• The Complexity of Verifying Loop-free Programs as Differentially Private by Marco Gaboardi, Kobbi Nissim and David Purser
• Rational subsets of Baumslag-Solitar groups by Michaël Cadilhac, Dmitry Chistikov and Georg Zetzsche
• The Strahler number of a parity game by Laure Daviaud, Marcin Jurdzinski and K. S. Thejaswini
• On the power of ordering in linear arithmetic theories by Dmitry Chistikov and Christoph Haase

Another piece of excellent news: Dr Sayan Bhattacharya and Dr Tom Gur have been promoted to Associate Professor, effective from 1 May 2020. Quoting from their recommendations,

Dr Bhattacharya has attracted a very competitive EPSRC New Investigator grant and a high-profile UK-Israel collaborative grant with the Weizmann Institute... . Dr Bhattacharya’s high standing in the research community is confirmed by his memberships of the programme committees of prestigious conferences, as well as his organisation of international research events. … Dr Bhattacharya has developed a new 3rd-year core module for Discrete Mathematics students and delivered it for the past three years, as well as now teaching most of a key 1st-year core module for the same degree course.

and

Dr Gur has attracted a highly prestigious UKRI Future Leaders Fellowship, as well as growing his international leading publications record. He is also growing a successful own research group, having recruited a PhD student and on track to employing several postdocs. … voluntarily exceeding his workload, Dr Gur has developed from scratch and currently teaches a popular 4th-year module on quantum computing. Mentioning here only some of his other contributions, Dr Gur also … is the organiser of the main departmental research seminar, was an active contributor to the department’s recent Athena SWAN submission, and has been developing fruitful links with several industrial partners.

it remains to say many congratulations!

In the current challenging context, a piece of excellent news: Dr Jane Sinclair and Dr Yulia Timofeeva have been promoted to Professor, effective from 1 June 2020. Quoting from their recommendations,

Dr Sinclair is an established educational leader in the department, the faculty, the university, nationally and internationally. Going far beyond development and delivery of teaching in the department, many of the main educational advances in Computer Science in recent years are due to Dr Sinclair, … Nationally and internationally, building on her excellent educational scholarship that has recently won a prestigious Best Paper Award, Dr Sinclair has shown sustained leadership in her work with ACM (the world’s computing society) as well as the leading national organisations Council of Professors and Heads of Computing (CPHC) and Computing At School (CAS), resulting in substantial impact on secondary and higher computing education in the UK and beyond.

and

Dr Timofeeva has an established international reputation for her research that spans several areas. Her recent successes with attracting external funding are impressive, including a £475K MRC grant and a major role in the £4.6M renewal of the MathSys CDT. … Dr Timofeeva has a strong track record of engaging with a variety of stakeholders in the context of her research field, through her editorial work, conference organisation, and visiting appointments. She has played a leading role in the UK Mathematical Neuroscience Network, which facilitates joint efforts by top UK researchers to tackle real-life problems. … One of the most collegiate and efficient Computer Science academics, Dr Timofeeva has had a large number of key administrative roles in the department and the MathSys CDT.

it remains to say many congratulations!