Anuj Dawar अनुज दावर انُج داور's Avatar

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.

158 Followers  |  138 Following  |  103 Posts  |  Joined: 11.01.2025  |  2.0195

Latest posts by anujdawar.bsky.social on Bluesky

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

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

05.12.2025 16:23 — 👍 2    🔁 0    💬 0    📌 0
Preview
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

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

03.12.2025 09:07 — 👍 1    🔁 0    💬 2    📌 0

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

01.12.2025 12:12 — 👍 6    🔁 5    💬 0    📌 0
ICALP/PODC/SPAA 2026

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

24.11.2025 10:27 — 👍 4    🔁 2    💬 1    📌 0
Preview
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 ...

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

20.11.2025 20:35 — 👍 3    🔁 0    💬 0    📌 0

Brilliant!

20.11.2025 12:25 — 👍 1    🔁 0    💬 0    📌 0

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?

11.11.2025 14:22 — 👍 1    🔁 0    💬 0    📌 0

Sidhu?

10.11.2025 13:31 — 👍 0    🔁 0    💬 0    📌 0

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

09.11.2025 07:43 — 👍 2    🔁 0    💬 0    📌 0

Ah. Do come and say hi when you're in Cambridge.

04.11.2025 16:40 — 👍 2    🔁 0    💬 1    📌 0
Bulletin of EATCS

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

30.10.2025 17:20 — 👍 2    🔁 1    💬 0    📌 0
A screenshot with a short excerpt from the the interview.

Question: Are there any blog posts you’d like to highlight from over the years?

Gautam: I really like posts that share more about the humans behind the research. Omer Reingold ran a series on “research-life stories,” a great representative one is Bobby Kleinberg’s. Luca Trevisan had a series of posts from gay and lesbian computer scientists in commemoration of Turing’s 100th birthday, you can read his own account here.

Arnab: Completely agreed with Gautam. I’d also like to highlight Gil Kalai’s valiant effort at “Combinatorics and More.” Gil’s blog has been actively maintained since 2008! It’s still often the first place to break news about advances in combinatorics.

A screenshot with a short excerpt from the the interview. Question: Are there any blog posts you’d like to highlight from over the years? Gautam: I really like posts that share more about the humans behind the research. Omer Reingold ran a series on “research-life stories,” a great representative one is Bobby Kleinberg’s. Luca Trevisan had a series of posts from gay and lesbian computer scientists in commemoration of Turing’s 100th birthday, you can read his own account here. Arnab: Completely agreed with Gautam. I’d also like to highlight Gil Kalai’s valiant effort at “Combinatorics and More.” Gil’s blog has been actively maintained since 2008! It’s still often the first place to break news about advances in combinatorics.

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

30.10.2025 12:44 — 👍 7    🔁 4    💬 0    📌 2

A reminder that this is happening today!

22.10.2025 09:20 — 👍 0    🔁 0    💬 0    📌 0
A picture of a diya with a "Happy Diwali" greeting.

A picture of a diya with a "Happy Diwali" greeting.

Happy Diwali, everyone!

20.10.2025 08:29 — 👍 4    🔁 0    💬 0    📌 0

@hignfy.bsky.social
What ever happened to Have I Got a Bit More News for You?

16.10.2025 18:39 — 👍 0    🔁 0    💬 0    📌 0
'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.

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

16.10.2025 11:09 — 👍 0    🔁 0    💬 0    📌 2

@willdalrymple.bsky.social was brilliant and entertaining. Thoroughly enjoyed it.

14.10.2025 22:00 — 👍 9    🔁 1    💬 0    📌 0

Last time I was there, Hagia Sophia was a museum. Even that's changed now.

09.10.2025 22:20 — 👍 2    🔁 0    💬 1    📌 0
Professor Amos Lapidoth

Professor Amos Lapidoth

Assisted Memories: Have Your cake and Eat It

Using a simple model for defective memories, Professor Lapidoth will demonstrate some of Shannon’s key theorems on Data Compression & Channel Coding, at the heart of Information Theory

Tues 28 Oct 6pm Robinson College

shorturl.at/Xe3c6
@eng.cam.ac.uk

07.10.2025 09:29 — 👍 3    🔁 2    💬 0    📌 0
Post image

Cambridge is recruiting Assistant/Associate Professors in Theoretical Computer Science. #TCS #AcademicJobs

Application deadline: 15 December 2025. Contact me for informal inquiries. See more details and apply here:
www.cst.cam.ac.uk/assistantass...

07.10.2025 11:38 — 👍 20    🔁 9    💬 1    📌 0

I'll be there!

07.10.2025 11:14 — 👍 1    🔁 0    💬 0    📌 0

I do wonder which experts CNN asked and what they actually said.

26.09.2025 08:09 — 👍 1    🔁 0    💬 0    📌 0

Congratulations, Cecilia!

24.09.2025 19:22 — 👍 1    🔁 0    💬 0    📌 0
University Assistant/Associate Professor in Algorithms and Complexity The Department of Computer Science and Technology is seeking to recruit a new faculty member at the Assistant Professor/Associate Professor level who will contribute to research and teaching in

Cambridge University is recruiting for a new faculty position in the area of Algorithms and Complexity:
www.cam.ac.uk/jobs/univers...

24.09.2025 08:07 — 👍 1    🔁 3    💬 1    📌 0

If you want metric, why are you counting feet? You mean 0.3048 metres.

23.09.2025 15:58 — 👍 2    🔁 0    💬 0    📌 0

Niklaus Wirth (of Pascal fame) reportedly once said that Americans pronounced his name "nickle's worth". So, while Europeans called him by name, Americans called him by value.

20.09.2025 08:36 — 👍 2    🔁 1    💬 1    📌 0

I used to do that. Until one day I carried a very heavy load on one shoulder and ended up with a really painful trapped nerve in my neck. Now I always use both straps.

18.09.2025 21:39 — 👍 1    🔁 0    💬 0    📌 0
Post image

Be part of a vibrant academic tradition! 🌍 FoLLI is seeking hosts for #ESSLLI2027, the European Summer School in Logic, Language, and Information
@ESSLLI_official

Bring 300+ students & researchers to your institution. Preliminary proposals by Nov 15! jakubszymanik.com/call-for-pro...

16.09.2025 15:24 — 👍 3    🔁 3    💬 2    📌 0

I like the thought. The word certainly has a lovely undulating sound to it. But it seems unlikely (with my pedant's hat on). Undulate comes from the Latin diminutive of wave (unda). I don't think the -la- in Sanskrit has that diminutive sense.

13.09.2025 13:10 — 👍 2    🔁 0    💬 0    📌 0
National Museum, New Delhi Wooden book cover showcasing the three different scenes under three arches.

Fascinating. I look forward to revisiting the National Museum and seeing if they reflect the latest research.
nationalmuseumindia.gov.in/en

11.09.2025 08:21 — 👍 1    🔁 0    💬 0    📌 0

@anujdawar is following 20 prominent accounts