#theoretical-computer-science

[ follow ]
#knowledge-and-uncertainty #causality #distributed-systems #academic-mentorship #computation #time-and-memory
fromCornell Chronicle
1 week ago

Joe Halpern, 'towering' computer scientist and mentor, dies at 72 | Cornell Chronicle

Halpern co-authored three books and contributed to more than 300 research papers over the course of his 45-year career. "He was a towering figure in theoretical computer science and a beloved faculty member," said Lorenzo Alvisi, the Tisch University Professor in Computer Science and chair of the Department of Computer Science in the Cornell Ann S. Bowers College of Computing and Information Science. "Joe was as close to the ideal of a Renaissance man as I have met."
Artificial intelligence
Science
fromWIRED
7 months ago

For Algorithms, Memory Is a Far More Powerful Resource Than Time

A new proof shows memory can be as powerful as extensive time in computation.
Poker
fromWIRED
9 months ago

Why Pigeons at Rest Are at the Center of Complexity Theory

Inverting the pigeonhole principle reveals new insights into verifying solutions within computational problems.
[ Load more ]