A very warm welcome back to all our students for Easter term! ☀️ What are you most looking forward to?

RIP, Raghu Rai. Grew up with his pictures. Recently saw a retrospective exhibition of them in Delhi.

This paper will be at LICS.

Remembering the day that Michael Rabin received an honorary doctorate from the University of Wroclaw. share.google/SziclflYDdKw...

Sad to hear. RIP.

Happy Baisakhi!

Happy Easter 🐣

There is a post-doctoral position available in my group. Funding is for two years in the first instance (with a possibility of an extension). Details on how to apply are at the link below. Please feel free to contact me with any enquiries. www.cam.ac.uk/jobs/researc...

Half a million strong. Together. The biggest march against the far-right in British history.

Today! @togetheralliance.bsky.social

In London on Saturday: www.togetheralliance.org.uk/march

Eid Mubarak to all!

Nowruz mubarak نوروذ مبارک

For outstanding papers in Logic and Computation in the last twenty five years.

We're running a new 'escape room' at our @cambridgefestival.bsky.social Family Open Day on Sat 21 March - 'Help Us Find our Missing Computer Science Professor'. Find clues, make connections & see if you can solve the riddle! More details on this & other activities on the day at: shorturl.at/Jeu63

And like all macho men, they will soon grow bored of beating each other up. So, both sides can declare victory and go back home to beating up their women as usual.

RIP, Tony.

I highly recommend this column by Hongseok Yang and two of his students giving a formal logic take on a powerful method from extremal combinatorics.

The Spring issue of the EATCS Bulletin is now available!

Our new paper (by my postdoc Nihil Shah and myself) just landed on arXiv. About propositional satisfiability in a quantum world. A short thread explaining what this is about. arxiv.org/abs/2602.24164

Here's an opportunity to consider if you, or someone you know, is considering a sabbatical in Cambridge. www.robinson.cam.ac.uk/about-robins...

Postdoc position in Cambridge with Julia Wolf: Julia is a phenomenal researcher and a wonderful collaborator. She is advertising a 2-year postdoc in additive combinatorics and model theory. Closing date: 16 March. Details: jobs.ac.uk/job/DQP803/postdoctoral-research-associate-fixed-term

Postdoc position(s) in my section. Exciting opportunity to work as a postdoc in a Danish university with fantastic colleagues and enriching research atmosphere! Please spread the word. candidate.hr-manager.net/ApplicationI...

Wishing all a happy and prosperous year of the horse!

We're getting ready for our Computer Science Open Day as part of this year's Cambridge Festival! @cambridgefestival.bsky.social Visit us on Saturday 21 March to program mini robot cars, make music with code, Stop An Evil Hacker Deleting The Internet, and lots more. tinyurl.com/2zacmubb

Sad news indeed.

Was saddened today to hear the passing of Joseph Halpern. I knew him from my undergraduate days at Cornell, for part of which he was the department chair. www.bangsfuneralhome.com/obituaries/j...

Congratulations, @ceciliamascolo.bsky.social

@tomrocksmaths.bsky.social one for you.

Please help us publicize TEAL: Tools for Educational Activities in Logic, a workshop associated w/ FLoC26. We have a novel design, focused on demos, discussion, and generally high-quality interaction rather than weak papers. See full details on our site! teal.cs.brown.edu/floc2026/

ICALP 2026 CFP is out. This year it’ll be at Royal Holloway (London area), July 7–10, 2026. Abstract registration: Feb 3 Paper deadline: Feb 6 Details: icalppodcspaa2026.cs.rhul.ac.uk/icalp/

Following coverage over the weekend of Sir Paul Nurse's comments that suggested that the only reason that a Fellow should be expelled from @royalsociety.org is scientific misconduct, I have written to him to explain the risks such an attitude poses of increasing sexual harassment in STEM.

I'm in Berlin for a PhD defence. And it's freezing cold. www.informatik.hu-berlin.de/de/events/di...

Much that is astonishing about this story, buti look, if I had the money, I'd send my hypothetical kids to an elite private school. The schools listed are great. The pupils there who need *further* encouragement from a Cambridge college apply...that's who you want to target to *increase* quality?

The video talk to accompany our paper at ITCS 2026 is now online. youtu.be/ALaHOpLddks

@lammasleaves.bsky.social and I recently watched the Netflix series Black Warrant. Now I have this haunting song stuck in my head. www.youtube.com/watch?v=V8a7... I wondered, is this a Devenderpal Singh original, or does the song have an older pedigree?

Happy New Year to all! May 2026 be an improvement on 2025 in every possible way.

Updated on the arXiv is the full version of our ITCS'26 paper (working with the brilliant team of Benedikt Pago and Tim Seppelt). Characterizes polynomials in a matrix of variables that can be computed by poly-size symmetric circuits. A surprising combinatorial criterion. arxiv.org/abs/2502.06740

The Rice Boat is closing on Saturday. Now, when people ask me what is my favourite restaurant in Cambridge, I won't know what to say. riceboat.co.uk

Reminder: Two weeks left to apply for the Assistant/Associate Professor positions in Theoretical Computer Science at Cambridge. Application deadline: 15 December 2025. Details and application portal: cst.cam.ac.uk/assistantass...

ICALP/PODC/SPAA 2026 on 6–10 July, 2026 icalppodcspaa2026.cs.rhul.ac.uk

We have a new paper out on the arXiv. A full version of a paper to appear at CSL'26. arxiv.org/abs/2511.11326

Brilliant!

Sometimes, reading an article reveals an aspect of the world we live in that I was barely aware of. I often get this with @lrb.co.uk. The lives of the pig butchers - who knew?

This lecture is now available on youtube: www.youtube.com/watch?v=hEtW...

I have taken over from Yuri Gurevich as the editor of the Logic in Computer Science column in the Bulletin of the EATCS. He has been doing this for 37 years! Big shoes to fill. For my first column, I've rendered my invited LICS 2025 talk into dialogue form: bulletin.eatcs.org/index.php/be...

The new EATCS Bulletin #147 is available! eatcs.org/images/bulle... In the TCS on the Web Column, I talked to the maintainers of the TCS Blog Aggregator: Nima Anari, Arnab Bhattacharyya and Gautam Kamath. It was a very fun interview! @gautamkamath.com @schmiste-ch.bsky.social

A reminder that this is happening today!