the Summer issue of the @eatcs.bsky.social Bulletin is now available! eatcs.org/images/bulle...

Really saddened to hear of the passing of Paul Hewett. He was a kind and gentle man. He'll be much missed. www.corpus.cam.ac.uk/articles/pro...

5-year postdoctoral research fellowship in theoretical Computer Science (also 4 other research fields), a nice opportunity! Needs PhD to be awarded between 1/Aug/24 and 1/Oct/27. Please share with whoever may be suitable! www.asc.ox.ac.uk/post-doctora...

Very happy to be hosting a talk today by Jacob Urisman in our Algorithms and Complexity seminar: talks.cam.ac.uk/talk/index/2...

I missed the final session as I had to head back home. But WACT was absolutely brilliant. I thoroughly enjoyed it and learned so much. Thank you for running it!

Professor Anuj Dawar FRS is elected a Fellow of the Royal Society. He is a theoretical computer scientist who has developed fundamental new methods, rooted in mathematical logic, for the study of computational complexity. #RSFellows https://royalsociety.org/people/anuj-dawar-36313/

The afternoon session on day 2 started with an introduction to symmetric circuits and lower bound techniques for these by Anuj Dawar. The symmetric model is one of the rare models that distinguishes the non-identical twins Det and Perm.

I'll be speaking at WACT sites.google.com/view/wact202... this afternoon. 2pm CEST. You can watch live here: www.youtube.com/live/3WAvAu5...

Delighted to be here!

Congratulations to our 7 researchers announced today who have been elected to the @royalsociety.org 2026 Fellowship! 🎉 Meet the Cambridge Fellows, recognised for their exceptional contributions to their respective fields 👉 https://bit.ly/4ugUXMZ

Heartiest congratulations to Manindra!

We are very happy to announce the 90 outstanding researchers from across the world who have been elected to the Fellowship of the Royal Society this year, in fields from astronomy and cancer research to mathematics and biotechnology. #RSFellows royalsociety.org/news/2026/05...

The AI refutation of the unit distance conjecture is impressive. We need to reasses what it is we do and what the new tools can do for us. Many mathematicians are doing that. Much to think about. Here are some thoughts specifically on the role of open problems in our field. bsky.app/profile/wtgo...

Look what the kids made me.

Great to read this LRB review of the book by @davidwoodman45.bsky.social

It's the last day of my fifties.

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...