Anuj Dawar अनुज दावर انُج داور
LightNews LightNews
banner
anujdawar.bsky.social
Anuj Dawar अनुज दावर انُج داور
@anujdawar.bsky.social
180 followers 160 following 120 posts
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
Posts Replies Media Videos
anujdawar.bsky.social
Congratulations, @ceciliamascolo.bsky.social
cst.cam.ac.uk Cambridge Computer Science @cst.cam.ac.uk · 13d
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
Cecilia Mascolo, Professor of Mobile Systems here, is a researcher with expertise in using AI tools to monitor human health. In the last few years, she and her team have developed and trained machine learning models to help doctors diagnose Covid from recordings of people coughing, breathing and talking.
January 27, 2026 at 11:23 PM
anujdawar.bsky.social
@tomrocksmaths.bsky.social one for you.
ccanonne.github.io Clément Canonne @ccanonne.github.io · 14d
🧩 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 अनुज दावर انُج داور
shriram.bsky.social
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 अनुज दावर انُج داور
tomgur.bsky.social
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 अनुज दावर انُج داور
profrachelgan.bsky.social
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.
Dear Sir Paul, Re: Royal Society Code of Conduct I am sure that many scientists have written to you about the specific question of Elon Musk’s Fellowship and whether, under the Royal Society’s Code of Conduct, his retaining that Fellowship is appropriate. I will not rehash these issues. Instead, as a female scientist with extensive experience of activities aiming to increase equality, diversity and inclusion in the engineering and physical sciences sector, I am writing to you (in a personal capacity) to ask you to reconsider the statements you have recently made in this context to the UK press about the Royal Society’s Code of Conduct and how it is applied. A 2018 report from the joint National Academies of the United States of America, concluded that “sexual harassment is common in academic science, engineering, and medicine” and that “greater than 50 percent of women faculty and staff and 20–50 percent of women students encounter or experience sexually harassing conduct in academia”. This report described codes of conduct that make clear that sexual harassment is unethical and will not be tolerated as a “powerful incentive for change”. The authors also noted that sexual harassment can have significant and damaging effects on the integrity of research. In my own praxis, I have found that clear and consistently-implemented codes of conduct that address these issues make female scientists and engineers safer, and allow them to focus more effectively on their research. For codes of conduct to have such a positive effect, it is vital that sanctions for actions which transgress the code are meaningful and substantial. I was hence aghast to realise that in an interview with the Financial Times published on 9/1/26, you appear to have suggested that the Royal Society “should only expel fellows if their science proved “faulty or fraudulent or highly defective””. Moreover, in a further interview with the Guardian on 11/1/26 you suggested that the code “may need to be looked at again”, with the implication that your aim would be to remove the option of sanctions on Fellows for reasons not strictly related to faults or defects in their research. I suggest that changing the Royal Society’s code of conduct so that the likelihood of serious sanctions for sexual harassment is reduced, would directly endanger women who interact with the Royal Society at events or otherwise, and would provide a licence to harass to the already powerful people on whom the Society bestows fellowship. The implications of your words - that under your leadership the only infringements of the code which are likely to receive the sanction of the Fellowship being removed are those related to research misconduct - already risk empowering harassers. You stated, in the Financial Times interview, that “there’s many bad people around, but they have made scientific advances”. Given this awareness of the possibility of bad actors in our scientific community, it is wholly irresponsible to suggest that the Royal Society would not act to sanction these people if they harass more vulnerable scientists. I am hence writing to request that you retract any suggestion that the Society’s Code of Conduct should be changed so that the only reason a Fellow might be sanctioned by the removal of their Fellowship is “faulty or fraudulent or highly defective” research. This action is necessary to safeguard female scientists, a requirement placed on the Society by safeguarding legislation and UK statutory guidance. Yours sincerely, Professor Rachel A. Oliver.
January 12, 2026 at 8:59 AM
anujdawar.bsky.social
I'm in Berlin for a PhD defence. And it's freezing cold.

www.informatik.hu-berlin.de/de/events/di...
Disputation: Herr Harry Vinall-Smeeth, M.Sc.
"How Small Can You Go? Lower bounds on representations in knowledge compilation, finite model theory and beyond"
www.informatik.hu-berlin.de
January 11, 2026 at 10:12 PM
Reposted by Anuj Dawar अनुज दावर انُج داور
stephenkb.bsky.social
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
anujdawar.bsky.social
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
anujdawar.bsky.social
@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
anujdawar.bsky.social
Happy New Year to all! May 2026 be an improvement on 2025 in every possible way.
January 1, 2026 at 12:48 AM
anujdawar.bsky.social
www.ipetitions.com/petition/res...
Petition Restore Fully Free and Open Access to the ACM Digital Library
Restore Fully Free and Open Access to the ACM Digital Library
www.ipetitions.com
December 31, 2025 at 4:37 PM
anujdawar.bsky.social
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
anujdawar.bsky.social
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 अनुज दावर انُج داور
tomgur.bsky.social
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 अनुज दावर انُج داور
jukkasuomela.fi
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
anujdawar.bsky.social
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
anujdawar.bsky.social
Brilliant!
aidancook.bsky.social Aidan Cook @aidancook.bsky.social · Nov 20
Well, he’s the only England captain to have become a swear word/exclamation in Indian film subtitles.
A still image from Indian gangster movie, with English subtitles using the words “Ben stokes” instead of translating actual swear words A still image from Indian gangster movie, with English subtitles using the words “Ben stokes” instead of translating actual swear words
November 20, 2025 at 12:25 PM
anujdawar.bsky.social
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?
lrb.co.uk London Review of Books @lrb.co.uk · Nov 10
‘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
anujdawar.bsky.social
This lecture is now available on youtube: www.youtube.com/watch?v=hEtW...
November 9, 2025 at 7:43 AM
anujdawar.bsky.social
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 अनुज दावर انُج داور
neumannstefan.com
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 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.
October 30, 2025 at 12:44 PM
anujdawar.bsky.social
A reminder that this is happening today!
October 22, 2025 at 9:20 AM
anujdawar.bsky.social
Happy Diwali, everyone!
A picture of a diya with a "Happy Diwali" greeting.
October 20, 2025 at 8:29 AM
anujdawar.bsky.social
@hignfy.bsky.social
What ever happened to Have I Got a Bit More News for You?
October 16, 2025 at 6:39 PM
anujdawar.bsky.social
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