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.
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...
@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
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?
This lecture is now available on youtube: www.youtube.com/watch?v=hEtW...
November 9, 2025 at 7:43 AM
This lecture is now available on youtube: www.youtube.com/watch?v=hEtW...
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...
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
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...
For my first column, I've rendered my invited LICS 2025 talk into dialogue form: bulletin.eatcs.org/index.php/be...
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
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
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
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 reminder that this is happening today!
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...
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 22, 2025 at 9:20 AM
A reminder that this is happening today!
Happy Diwali, everyone!
October 20, 2025 at 8:29 AM
Happy Diwali, everyone!
@hignfy.bsky.social
What ever happened to Have I Got a Bit More News for You?
What ever happened to Have I Got a Bit More News for You?
October 16, 2025 at 6:39 PM
@hignfy.bsky.social
What ever happened to Have I Got a Bit More News for You?
What ever happened to Have I Got a Bit More News for You?
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...
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
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...
www.cst.cam.ac.uk/news/efficie...
@willdalrymple.bsky.social was brilliant and entertaining. Thoroughly enjoyed it.
Friends in Cambridge.. Next Tuesday I'm returning to Trinity to lecture for the first time since 1986! All welcome!
October 14, 2025 at 10:00 PM
@willdalrymple.bsky.social was brilliant and entertaining. Thoroughly enjoyed it.
Reposted by Anuj Dawar अनुज दावर انُج داور
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
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
October 7, 2025 at 9:29 AM
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
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
Reposted by Anuj Dawar अनुज दावर انُج داور
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...
Application deadline: 15 December 2025. Contact me for informal inquiries. See more details and apply here:
www.cst.cam.ac.uk/assistantass...
October 7, 2025 at 11:38 AM
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...
Application deadline: 15 December 2025. Contact me for informal inquiries. See more details and apply here:
www.cst.cam.ac.uk/assistantass...
I do wonder which experts CNN asked and what they actually said.
September 26, 2025 at 8:09 AM
I do wonder which experts CNN asked and what they actually said.
Cambridge University is recruiting for a new faculty position in the area of Algorithms and Complexity:
www.cam.ac.uk/jobs/univers...
www.cam.ac.uk/jobs/univers...
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
www.cam.ac.uk
September 24, 2025 at 8:07 AM
Cambridge University is recruiting for a new faculty position in the area of Algorithms and Complexity:
www.cam.ac.uk/jobs/univers...
www.cam.ac.uk/jobs/univers...
Reposted by Anuj Dawar अनुज दावर انُج داور
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...
@ESSLLI_official
Bring 300+ students & researchers to your institution. Preliminary proposals by Nov 15! jakubszymanik.com/call-for-pro...
September 16, 2025 at 3:24 PM
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...
@ESSLLI_official
Bring 300+ students & researchers to your institution. Preliminary proposals by Nov 15! jakubszymanik.com/call-for-pro...
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.
September 10, 2025 at 6:48 PM
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.
Hardcopy arrived today.
September 9, 2025 at 8:14 AM
Hardcopy arrived today.
Reposted by Anuj Dawar अनुज दावर انُج داور
Read more here: www.nasa.gov/missions/cha...
NASA's Chandra Reveals Star's Inner Conflict Before Explosion - NASA
The inside of a star turned on itself before it spectacularly exploded, according to a new study from NASA’s Chandra X-ray Observatory. Today, this shattered
www.nasa.gov
August 30, 2025 at 5:39 PM
Read more here: www.nasa.gov/missions/cha...
Today I discovered that my contribution to Janos Makowsky's festschrift is online:
link.springer.com/chapter/10.1...
link.springer.com/chapter/10.1...
Linear Algebraic Quantifiers
The long-standing research question of whether there is a logic expressing exactly the polynomial-time decidable properties of finite structures has motivated, in recent years, the exploration of logi...
link.springer.com
August 25, 2025 at 3:20 PM
Today I discovered that my contribution to Janos Makowsky's festschrift is online:
link.springer.com/chapter/10.1...
link.springer.com/chapter/10.1...
Ah! Well done.
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
Read more: scroll.in/latest/10858...
#ashokauniversity #OperationSindoor
August 25, 2025 at 2:09 PM
Ah! Well done.
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...
Read more: scroll.in/latest/10856...
August 18, 2025 at 6:20 PM
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.
Anuj Dawar, Aidan T. Evans: Characterizing NC1 with Typed Monoids https://arxiv.org/abs/2508.11019 https://arxiv.org/pdf/2508.11019 https://arxiv.org/html/2508.11019
August 18, 2025 at 4:52 PM
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.
Visited the Eden Project and it's amazing indoor rainforest. Another highlight was the current exhibition of pictures from the wildlife photographer of the year competition.
www.edenproject.com
www.edenproject.com
The Eden Project
Eco visitor attraction in Cornwall, UK. As an educational charity, our destinations and projects explore the interconnections between all living things.
www.edenproject.com
August 14, 2025 at 9:00 AM
Visited the Eden Project and it's amazing indoor rainforest. Another highlight was the current exhibition of pictures from the wildlife photographer of the year competition.
www.edenproject.com
www.edenproject.com
On holiday in Cornwall. Yesterday we walked along a section of the South West coast path www.southwestcoastpath.org.uk between St Austell and Fowey.
August 13, 2025 at 5:02 PM
On holiday in Cornwall. Yesterday we walked along a section of the South West coast path www.southwestcoastpath.org.uk between St Austell and Fowey.
Reposted by Anuj Dawar अनुज दावर انُج داور
🕸️ From social networks to urban planning, graph theory is everywhere. Explore how this branch of mathematics helps us understand and shape the world around us:
How Does Graph Theory Shape Our World? | Quanta Magazine
Maria Chudnovsky reflects on her journey in graph theory, her groundbreaking solution to the long-standing perfect graph problem, and the unexpected ways this abstract field intersects with everyday l...
www.quantamagazine.org
August 12, 2025 at 1:55 PM
🕸️ From social networks to urban planning, graph theory is everywhere. Explore how this branch of mathematics helps us understand and shape the world around us:
Reposted by Anuj Dawar अनुज दावर انُج داور
Happy Rakhi! 💛
August 9, 2025 at 11:52 PM
Happy Rakhi! 💛