John Martin Elliott Hyland is Professor in Mathematical Logic in the University of Cambridge, and is a Fellow of King’s College, Cambridge. Hyland is known for work on the effective topos (within topos theory), on the lambda-calculus and on game semantics.
His main research interests are in the following:
Mathematical Logic: Lambda Calculus, Recursion Theory, Realizability, Proof Theory, Linear L…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-adva…
10 proofs from our next major model Astra on long-standing open problems in mathematics and theoretical computer science (also including new circu…
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…
