Anuj Dawar अनुज दावर انُج داور
banner
anujdawar.bsky.social
Anuj Dawar अनुज दावर انُج داور
@anujdawar.bsky.social
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
Prof @ceciliamascolo.bsky.social explores how AI can diagnose diseases as well from analysing body sounds like heartbeats and coughs as it does by analysing medical images like scans & x-rays. Today she receives an @erc.europa.eu Proof of Concept grant to take her work further. shorturl.at/qDHNF
January 27, 2026 at 11:23 PM
🧩 Quick quiz! You choose, uniformly and independently (with replacement) from your bag, which holds n Pokeballs, each containing a different Pokemon.

How many balls do you need to draw* before you see each Pokemon at least once? At least twice?

And before you see some Pokemon at least thrice?
a cartoon duck is sitting in front of a laptop on fire
Alt: Psyduck is sitting in front of a laptop on fire
media.tenor.com
January 27, 2026 at 11:08 PM
Reposted by Anuj Dawar अनुज दावर انُج داور
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/
TEAL 2026: Tools for Educational Activities in Logic
teal.cs.brown.edu
January 20, 2026 at 2:56 PM
Reposted by Anuj Dawar अनुज दावर انُج داور
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/
ICALP
The 53rd EATCS International Colloquium on Automata, Languages, and Programming (ICALP) will take place between 7–10 July, 2026.
icalppodcspaa2026.cs.rhul.ac.uk
January 20, 2026 at 8:44 AM
Reposted by Anuj Dawar अनुज दावर انُج داور
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.
January 12, 2026 at 8:59 AM
Reposted by Anuj Dawar अनुज दावर انُج داور
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?
Cambridge college to target elite private schools for student recruitment
Exclusive: Trinity Hall’s new policy described as a ‘slap in the face’ for state-educated students
www.theguardian.com
January 10, 2026 at 10:15 AM
The video talk to accompany our paper at ITCS 2026 is now online.

youtu.be/ALaHOpLddks
Symmetric Algebraic Circuits and Homomorphism Polynomials
YouTube video by Anuj Dawar
youtu.be
January 9, 2026 at 5:58 PM
@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?
Naseeba (From "Black Warrant")
YouTube video by Devenderpal Singh - Topic
www.youtube.com
January 8, 2026 at 8:19 PM
Happy New Year to all! May 2026 be an improvement on 2025 in every possible way.
January 1, 2026 at 12:48 AM
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
Symmetric Algebraic Circuits and Homomorphism Polynomials
The central open question of algebraic complexity is whether VP is unequal to VNP, which is saying that the permanent cannot be represented by families of polynomial-size algebraic circuits. For symme...
arxiv.org
December 5, 2025 at 4:23 PM
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
Welcome | Rice Boat | Kerala Restaurant | Newnham, Cambridge | UK
Rice Boat - Kerala food in Cambridge - come and check out our dosas, tasty vadas, delcious curries and more. All in a family-run and friendly restaurant
riceboat.co.uk
December 3, 2025 at 9:07 AM
Reposted by Anuj Dawar अनुज दावर انُج داور
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...
cst.cam.ac.uk
December 1, 2025 at 12:12 PM
Reposted by Anuj Dawar अनुज दावर انُج داور
ICALP/PODC/SPAA 2026 on 6–10 July, 2026
icalppodcspaa2026.cs.rhul.ac.uk
ICALP/PODC/SPAA 2026
icalppodcspaa2026.cs.rhul.ac.uk
November 24, 2025 at 10:27 AM
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
Arity hierarchies for quantifiers closed under partial polymorphisms
We investigate the expressive power of generalized quantifiers closed under partial polymorphism conditions motivated by the study of constraint satisfaction problems. We answer a number of questions ...
arxiv.org
November 20, 2025 at 8:36 PM
Brilliant!
Well, he’s the only England captain to have become a swear word/exclamation in Indian film subtitles.
November 20, 2025 at 12:25 PM
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?
‘Scamming is no less grotesque an example of globalisation than the seafood slave industry operating out of Thailand or the cargo-ship dismantling business devastating the shores of Bangladesh.’

@alexclapp.bsky.social on cyber-slavery and the scam industry.

www.lrb.co.uk/the-paper/v4...
Alexander Clapp · Pig Butchering: Scam Gangs
If it were a national economy, cybercrime would be the third largest in the world, behind only the United States and...
www.lrb.co.uk
November 11, 2025 at 2:22 PM
This lecture is now available on youtube: www.youtube.com/watch?v=hEtW...
November 9, 2025 at 7:43 AM
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...
Bulletin of EATCS
bulletin.eatcs.org
October 30, 2025 at 5:20 PM
Reposted by Anuj Dawar अनुज दावर انُج داور
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
October 30, 2025 at 12:44 PM
A reminder that this is happening today!
October 22, 2025 at 9:20 AM
Happy Diwali, everyone!
October 20, 2025 at 8:29 AM
@hignfy.bsky.social
What ever happened to Have I Got a Bit More News for You?
October 16, 2025 at 6:39 PM
Moshe Vardi will be delivering the Wheeler lecture @cst.cam.ac.uk on Wednesday, 22nd October. There are still places available if you would like to register to attend:
www.cst.cam.ac.uk/news/efficie...
'Efficiency, Resilience, and Artificial Intelligence': the 2025 Wheeler Lecture | Department of Computer Science and Technology
'Efficiency, Resilience and Artificial Intelligence' will be the topic when Prof Moshe Vardi delivers the 2025 Wheeler Lecture here on Wednesday 22 October.
www.cst.cam.ac.uk
October 16, 2025 at 11:09 AM