Sign in

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

@anujdawar.bsky.social
252 followers 207 following 224 posts

Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org. Theoretical computer scientist. News junkie. Parent of teenagers.

PostsRepliesMedia
Reposted by Anuj Dawar अनुज दावर انُج داور
Clément Canonne @ccanonne.github.io · 29/09/2026
A very important message from Omer Reingold to our TCS community, especially us (arg, already) senior researchers: "snap out of it." Please, digest, and share. theorydish.blog/2026/09/29/s...
As for depression: the next time you have the urge to lament, or even celebrate, being “the last generation of human mathematicians,” perhaps keep it to yourself. Contemplating the end of your profession from the relative comfort of an established, tenured career is a privilege, and it comes with responsibilities. Senior academics are not merely individual researchers; we are stewards of our field, and we owe our junior colleagues active leadership rather than abandonment.
47321
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 28/09/2026
Proceedings of the Royal Society A is inviting applications for membership of its editorial board: royalsocietypublishing.org/rspa/pages/e... @royalsocietypublishing.org
royalsocietypublishing.org
Proceedings of the Royal Society A Editorial Board Applications | Proceedings A | The Royal Society
Proceedings of the Royal Society A Editorial Board Applications | Proceedings A | The Royal Society We welcome applications to join the Proceedings of the Royal Society A editorial board...
040
Reposted by Anuj Dawar अनुज दावर انُج داور
Royal Society Publishing @royalsocietypublishing.org · 21/09/2026
Join the #ProcA Editorial Board. We seek enthusiastic and engaged Editorial Board Members who will perform a range of valuable tasks for the journal. To apply, please submit your application by 31 October 26. Find out more: royalsocietypublishing.org/rspa/pages/e...
012
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 21/09/2026
I'm at Dagstuhl @dagstuhl.de. When we invited four speakers to give us tutorial talks at the seminar, we asked them to centre them around a major open problem in the field. That seems so 2025! www.dagstuhl.de/26391
dagstuhl.de
Dagstuhl Seminar 26391: Finite Stability Theory
040
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 20/09/2026
Some good points by @marcusdusautoy.bsky.social in this FT article, e.g. re consciousness. But what is AGI and why would it be more constrained? AI is a powerful but problematic new collaborator in mathematics - giftarticle.ft.com/giftarticle/... via @FT
giftarticle.ft.com
AI is a powerful but problematic new collaborator in mathematics
We are already witnessing the unintended consequences of algorithms realising goals with badly defined parameters and restrictions
010
Reposted by Anuj Dawar अनुज दावर انُج داور
Clément Canonne @ccanonne.github.io · 17/09/2026
The Call for Papers for #STOC2027 is up! Importantly, the PC "will place substantial weight on the quality of exposition, and clarity of technical arguments and proofs" Also: - Public posting requirement - Required video submission and more. Deadline: ⏰ Nov 2, AoE acm-stoc.org/stoc2027/sto...
Policy experiments for STOC 2027: In light of rapid advances in generative AI and their impact on research and scientific communication, STOC 2027 is experimenting with several new policies intended to encourage high-quality submissions and promote clear and effective communication of research. The policies below include mandatory public posting and mandatory video submission. Detailed instructions for these two requirements will be released closer to the paper submission deadline.
44014
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 17/09/2026
Here is a graph of papers on arxiv in August. bsky.app/profile/saul...
040
Reposted by Anuj Dawar अनुज दावर انُج داور
Terence Tao @teorth.bsky.social · 11/09/2026
A group of 25 Fields Medalists, including myself, have made a joint declaration on Math and AI: mathandai.org . We welcome additional signatories. See also this article in the Economist announcing the declaration: www.economist.com/science-and-...
mathandai.org
Declaration — Math and AI
Read the declaration and add your name.
422052929
Reposted by Anuj Dawar अनुज दावर انُج داور
Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI) @dagstuhl.de · 10/09/2026
It is time for possible Dagstuhl proposals again! Proposals can be submitted between October 15 and November 1, 2026. For links to guidelines, more details on the process, and important dates see www.dagstuhl.de/en/institute...
dagstuhl.de
Call for Proposals (Deadline November 1, 2026)
Call for Proposals (Deadline November 1, 2026)
0108
Reposted by Anuj Dawar अनुज दावर انُج داور
Cambridge Computer Science @cst.cam.ac.uk · 09/09/2026
'The promises & pitfalls of secret communication'. Our Head of Department @arberesford.bsky.social – architect of the @theguardian.com secure messaging system – discusses this in his Strachey Lecture at Oxford University @compscioxford.bsky.social on 27 October. www.eventbrite.com/e/strachey-l...
Our Head of Department, Prof Alastair Beresford, will discuss the promises and pitfalls of secret communication in his Strachey Lecture at Oxford University on 27 October 2026. The poster advertising his talk includes a photo of him below an official-looking 'Top Secret' stamp.
001
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 08/09/2026
And now the announcement from OpenAI is out. openai.com/index/navier...
openai.com
On the Navier–Stokes Millennium Prize Problem
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
011
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 28/08/2026
Happy Rakhi!
130
Reposted by Anuj Dawar अनुज दावर انُج داور
Praṇay Manocha @pranman.com · 26/08/2026
This is a good overview of the specific risk to the Himalayas and why it is like nowhere else on the planet.
hir.harvard.edu
The Himalayan Climate Change: Global Warming in the Globe's Highest Region, with Dr. Pasang Sherpa
"Care and humanity are going to be the most important things moving forward. That is what keeps me optimistic. Each of us will have to do our part."
083
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 18/08/2026
Most of those who joined the media pile on of Jason Arday don't care two hoots about academic standards or integrity. That much is clear from the lack of fact-checking or rigour in so much of their commentary.
130
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 16/08/2026
Walking in the Yorkshire dales
020
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 13/08/2026
The stuff about Benjamin Zephaniah is just wild. I did not know that. www.theguardian.com/commentisfre...
theguardian.com
Jason Arday is now the stick the right will use to beat back racial equality. Don’t let that happen | Afua Hirsch
The UK is far from equality in academia or society. You don’t need a Cambridge degree to see that Arday’s story is being used to stop any progress in its tracks, says journalist and academic Afua Hirs...
031
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/08/2026
We got a reply from the vice-chancellor. #Arday www.cam.ac.uk/notices/news...
cam.ac.uk
Statement from the Vice-Chancellor 12 August 2026
Statement from the Vice-Chancellor setting out the University's approach to an investigation into the circumstances surrounding the appointment of Jason Arday.
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/08/2026
A long post. Well worth reading in full.
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 11/08/2026
A craft passed on through countless generations from master to apprentice. A skill taking years and decades to acquire. Then someone comes along and builds a factory. The thread is broken. Skills are lost forever.
100
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 07/08/2026
Listened to @priyamvadagopal.bsky.social on the Today programme this morning. A much clearer focus on the braoder issues that the Arday case raises than I heard in the long discussion yesterday. I don't agree with everything in it, but I'll put my name to the letter.
110
Reposted by Anuj Dawar अनुज दावर انُج داور
The Royal Society @royalsociety.org · 06/08/2026
The Faraday Discovery Fellowships are now open for applications, long-term awards to support talented mid-career research leaders to undertake high-quality, original research. Find out more and register for our upcoming webinar: royalsociety.org/grants/faraday-dis…
A promotional image for the Royal Society's Faraday Discovery Fellowships. On the left is text describing the scheme, and on the right is a photo of six people in front of an antique portrait.
557
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 04/08/2026
@garymarcus.bsky.social makes some very good points here. But I'm not convinced by the one about synthetic data. Generating maths exercise sheets is one thing. Research papers quite another.
030
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 03/08/2026
Yay!
010
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 23/07/2026
It was really a very nice evening.
110
Reposted by Anuj Dawar अनुज दावर انُج داور
FLoC 2026 @floc2026.bsky.social · 21/07/2026
Fueling logic, one lunch break at a time. 🫒 Great energy at #FLoC2026 today!
Lunch time at FLoC 2026
011
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 17/07/2026
I'm on my way to @floc2026.bsky.social
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/07/2026
On Friday, I got to sign the Charter Book of the Royal Society: royalsociety.org/blog/2019/07...
Anuj Dawar, dressed in suit and tie, with a pen in hand, getting ready to sign in an old bound book.
120
Reposted by Anuj Dawar अनुज दावर انُج داور
Martin Kleppmann @martin.kleppmann.com · 01/07/2026
Analysis of the physics and economics of datacenters in space spectrum.ieee.org/orbital-data...
spectrum.ieee.org
The Real Cost Of Cooling GPUs In Space Might Shock You
Shedding heat will require ingenious new designs
33312
Reposted by Anuj Dawar अनुज दावर انُج داور
Cambridge University Library @theul.bsky.social · 23/06/2026
We’re hiring: Liaison Librarian (CST/CEB) The Liaison Librarian will deliver library services across Cambridge West, with particular responsibility for Computer Science and Technology (CST) and Chemical Engineering and Biotechnology (CEB) Apply before Sunday 5 July: loom.ly/K9_PH_M
A close-up, slightly high-angle shot shows a person's hands writing with a yellow pencil in a notebook. Overlaying the bottom portion of the image are two light teal rectangular text blocks. The top block reads "We’re hiring" in black text, and the lower, larger block reads "Liaison Librarian (CST/CEB)" followed by "University of Cambridge Libraries and Archives" in a smaller font below it.
032
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 23/06/2026
I cycled past this on the way home yesterday.
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 22/06/2026
the Summer issue of the @eatcs.bsky.social Bulletin is now available! eatcs.org/images/bulle...
eatcs.org
041
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 12/06/2026
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...
corpus.cam.ac.uk
Professor Paul Hewett (1956 -2026)
Members of the College will be greatly saddened to learn of the death on Thursday 4 June, of Paul Hewett, Life Fellow (m.1984), aged 69. After completing his doctorate at the University of Edinburgh i...
010
Reposted by Anuj Dawar अनुज दावर انُج داور
Paul Goldberg @paulwgoldberg.bsky.social · 11/06/2026
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...
asc.ox.ac.uk
Post-Doctoral Research Fellowships | All Souls College
088
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 09/06/2026
Very happy to be hosting a talk today by Jacob Urisman in our Algorithms and Complexity seminar: talks.cam.ac.uk/talk/index/2...
talks.cam.ac.uk
talks.cam : Representation Theory of Graph Isomorphism
Talks.cam - the University of Cambridge talks and seminars listing service
030
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 05/06/2026
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!
030
Reposted by Anuj Dawar अनुज दावर انُج داور
The Royal Society @royalsociety.org · 04/06/2026
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 royalsociety.org/people/anuj-dawar-…
A photo of a man in a maroon shirt. He is wearing glasses and smiling at the camera.
1102
Reposted by Anuj Dawar अनुज दावर انُج داور
Nutan Limaye @nutanlimaye.bsky.social · 03/06/2026
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.
021
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 03/06/2026
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...
youtube.com
Anuj Dawar - Symmetric Algebraic Circuits : An Introduction
Abstract: Polynomials commonly studied in the context of algebraic ...
020
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 02/06/2026
Delighted to be here!
000
Reposted by Anuj Dawar अनुज दावर انُج داور
University of Cambridge @cam.ac.uk · 27/05/2026
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 👉 bit.ly/4ugUXMZ
Exterior view of the Royal Society building, featuring large columns and an entranceway. Text above reads: "Seven Cambridge academics newly elected as Fellows of the Royal Society.
063
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 27/05/2026
Heartiest congratulations to Manindra!
000
Reposted by Anuj Dawar अनुज दावर انُج داور
The Royal Society @royalsociety.org · 27/05/2026
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...
royalsociety.org
Exceptional scientists elected as Fellows of the Royal Society | Royal Society
Over 90 outstanding researchers from across the world have this year been elected to the Fellowship of the Royal Society, the UK’s national academy of sciences.
12310
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 21/05/2026
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...
130
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 17/05/2026
Look what the kids made me.
030
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 16/05/2026
Great to read this LRB review of the book by @davidwoodman45.bsky.social
120
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 16/05/2026
It's the last day of my fifties.
030
Reposted by Anuj Dawar अनुज दावर انُج داور
University of Cambridge @cam.ac.uk · 28/04/2026
A very warm welcome back to all our students for Easter term! ☀️ What are you most looking forward to?
033
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 26/04/2026
RIP, Raghu Rai. Grew up with his pictures. Recently saw a retrospective exhibition of them in Delhi.
000
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 19/04/2026
This paper will be at LICS.
040
Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 14/04/2026
Remembering the day that Michael Rabin received an honorary doctorate from the University of Wroclaw. share.google/SziclflYDdKw...
share.google
Michael Rabin's honorary PhD ceremony
020