In this terrifying time for the world, I’m delighted to announce a little glimmer of good news. I’m receiving a large grant from the wonderful Open Philanthropy, to build up a group of students and postdocs over the next few years, here at UT Austin, to do research in theoretical computer science that’s motivated by […]
Prove that a computer can do anything. Or prove that it can’t. What computers fundamentally can and can't do is the purview of theoretical computer science. In the School of Computing and Augmented Intelligence , part of the Ira A. Fulton Schools of Engineering at Arizona State University, future engineers study important computing theories, striving to understand the true capabilities of machine…
