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

Yes, foxes are getting quite common. See them in the daytime often. You should check out David Attenborough'documentary on wild London.

The last time a wolf was seen anywhere in Britain was about 1680.

Happy Holi

We also consider satisfiability in general partial Boolean algebras, which subsume both the classic Boolean algebra and the projector algebras of Hilbert spaces.

If the values of the propositions can be arbitrary measurement outcomes in a quantum system (i.e. arbitrary projectors in a Hilbert space) the problem is undecidable. If we limit the dimension of the Hilbert space, it is complete for the existential theory of the reals.

The Kochen-Specker theorem tells us that then not every classical tautology is always true. So, what is then the complexity of deciding which formulas are satisfiable?
We answer this question under various assumptions about the system.

Testing whether a propositional formula is satisfiable is the classic NP-complete problem. But, what if the propositions that the formula is formed from are not understood as statements that can be true or false but as the outcomes of measurements in a quantum system?

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras The Kochen-Specker no-go theorem established that hidden-variable theories in quantum mechanics necessarily admit contextuality. This theorem is formally stated in terms of the partial Boolean algebra...

Our new paper (by my postdoc Nihil Shah and myself) just landed on arXiv. About propositional satisfiability in a quantum world. A short thread explaining what this is about.

arxiv.org/abs/2602.24164

Ah. Piskunov!

Thank you for that brilliant explanation.

I'd go with World of Books.

Here's an opportunity to consider if you, or someone you know, is considering a sabbatical in Cambridge.

www.robinson.cam.ac.uk/about-robins...

Postdoctoral Research Associate (Fixed Term) at University of Cambridge Explore an exciting academic career as a Postdoctoral Research Associate (Fixed Term). Don't miss out on other academic jobs. Click to apply and explore more opportunities.

Postdoc position in Cambridge with Julia Wolf:

Julia is a phenomenal researcher and a wonderful collaborator. She is advertising a 2-year postdoc in additive combinatorics and model theory.

Closing date: 16 March. Details: jobs.ac.uk/job/DQP803/postdoctoral-research-associate-fixed-term

Postdoc position for Algebraic Complexity Theory and Theoretical Computer Science at the IT University of Copenhagen The IT University of Copenhagen invites highly motivated individuals to apply for a Postdoc position starting in September 2026 or soon thereafter. The position

Postdoc position(s) in my section. Exciting opportunity to work as a postdoc in a Danish university with fantastic colleagues and enriching research atmosphere! Please spread the word.

candidate.hr-manager.net/ApplicationI...

Wishing all a happy and prosperous year of the horse!

We're getting ready for our Computer Science Open Day as part of this year's Cambridge Festival! @cambridgefestival.bsky.social Visit us on Saturday 21 March to program mini robot cars, make music with code, Stop An Evil Hacker Deleting The Internet, and lots more.
tinyurl.com/2zacmubb

Sad news indeed.

Joseph Y. Halpern Obituary February 13, 2026 - Bangs Funeral Home View Joseph Y. Halpern's obituary, send flowers, find service dates, and sign the guestbook.

Was saddened today to hear the passing of Joseph Halpern. I knew him from my undergraduate days at Cornell, for part of which he was the department chair.
www.bangsfuneralhome.com/obituaries/j...

Congratulations! Hope it's a great success. My experience of the journal involved an incredibly long delay between final acceptance and publication. Is it in your remit to do something about that?

wilco.

My oldest took History, Art and Computer Science. Because she thought writing essays, writing code and painting pictures were sufficiently different ways of expressing herself.

No reason why we can't use the 2pm Friday L&S seminar slot and advertise to the whole department. I'll have a word with Jeremy and book a room.

Are you selling T-shirts with the tour dates?

I think it's designed so you can do it at the check-in queue at the airport at the point you realise you forgot to get it earlier.

Congratulations, Leslie!

Congratulations, @ceciliamascolo.bsky.social

@tomrocksmaths.bsky.social one for you.

For me, so many of the major events that happened as I was growing up, I hear in his voice. From the emergency to the assassinations of Indira Gandhi and Rajiv Gandhi. Sad that it has fallen silent.

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/

They are just increasingly rolling it out in public spaces:
eduroam.org/wp-content/u...