Laudatio: https://
eatcs.org/index.php/comp
onent/content/article/1-news/3034-presburger-award-2026-laudatio
… Article by our amazing comms guy @UWCheritonCS
, Joe Petrik: https://
cs.uwaterloo.ca/news/gautam-ka
math-receives-eatcs-presburger-award
… Before anyone says it, yes, I forgot to mention in the pic the estimator is computationally efficient. That's kinda the point! CYA at ICALP in London! 7/7
Gautam Kamath Receives EATCS Presburger Award 2026
By
–