Oded Wins The Knuth Prize
22 June 2017 | 5:52 pm

Just announced Oded Goldreich is one of the top researchers in cryptography, randomness, and complexity theory. Today Ken and I wish to thank the Knuth Prize Committee for selecting Oded as the winner of the 2017 Knuth Prize. It is no doubt a wonderful choice, a choice that rewards many great results, and a choice […]

TOC In The Future
12 June 2017 | 6:14 pm

Results of the panel at the Theory Fest Géraud Sénizergues proved in 1997 that equivalence of deterministic pushdown automata (DPDAs) is decidable. Solving this decades-open problem won him the 2002 Gödel Prize. Today Ken and I want to ponder how theory of computing (TOC) has changed over the years and where it is headed. Of […]

Does Logic Apply To Hearings?
8 June 2017 | 9:15 pm

The problem of mining text for implications 2016 RSA Conference bio, speech Michael Rogers, the head of the National Security Agency, testified before the Senate Intelligence Committee the other day about President Donald Trump. He was jointed by other heads of other intelligence agencies who also testified. Their comments were, as one would expect, widely […]


More News from this Feed See Full Web Site