Anuj Dawar अनुज दावर انُج داور
@anujdawar.bsky.social
110 followers 120 following 88 posts
Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Theoretical computer scientist. News junkie. Parent of teenagers.
Posts Media Videos Starter Packs
Reposted by Anuj Dawar अनुज दावर انُج داور
tomgur.bsky.social
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...
anujdawar.bsky.social
If you want metric, why are you counting feet? You mean 0.3048 metres.
anujdawar.bsky.social
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.
anujdawar.bsky.social
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.
Reposted by Anuj Dawar अनुज दावर انُج داور
szymanikjakub.bsky.social
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...
anujdawar.bsky.social
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.
anujdawar.bsky.social
I'm sure the account attributing this to the Bactrians was the standard story when I looked at the collection in the National Museum in Delhi twenty-odd years ago. When did it change?
anujdawar.bsky.social
One thing I learned was that the Hellenic-style Gandhara Buddhas are not the result of skills preserved by Bactrian Greeks but the product of active trade between the Roman and Kushan empires.
anujdawar.bsky.social
Over the summer holidays I had the chance to read William Dalrymple's The Golden Road which has been sitting on my to-read pile for too long. A thoroughly enjoyable read, like all of @willdalrymple.bsky.social's books. I highly recommend it. I do have a question, though.
anujdawar.bsky.social
The one in Syracuse? One of my favourite buildings.
anujdawar.bsky.social
Ah! Well done.
scroll.in
Scroll @scroll.in · Aug 25
A bench of Justices Surya Kant and Joymala Bagchi also quashed all the proceedings in a second FIR against #AliKhanMahmudabad. The court said that no charges should be framed against him.

Read more: scroll.in/latest/10858...

#ashokauniversity #OperationSindoor
anujdawar.bsky.social
More interestingly, I looked in the preface for a name for this style and he calls it "programmed instruction". It was a big thing in the 70s. Google it and you'll find other textbooks from the time like this, on lots of topics.
anujdawar.bsky.social
Now I can give you a more complete reply, @neeldhara.bsky.social. The chess book I was thinking of is Chess: The Complete Self-Tutor by Edward Lasker. Here is a sample of the interactive style.
A page from Edward Lasker's chess book.
anujdawar.bsky.social
#PressFreedom
scroll.in
Scroll @scroll.in · Aug 18
Ankur Jain, the joint commissioner of police in Guwahati, told Scroll that the summons was issued as the Supreme Court order had come on a case filed in “some other district”.

Read more: scroll.in/latest/10856...
anujdawar.bsky.social
This is new work with my PhD student Aidan Evans. We obtain an algebraic characterization of the complexity NC1 using typed monoids. The proof is based on arity reduction of quantifiers for regular languages.
anujdawar.bsky.social
Back in the early 2000s (not long after 9/11) I had a laser pointer confiscated by airport security when boarding a plane. I always tell people that they were really afraid I would get up on the plane and give a talk.
anujdawar.bsky.social
I have a book that teaches how to play chess in this style. Can't give you a pointer at the moment. The book is on my shelf at home and I'm not there for a few days yet.