When Yohanes Surya, founder of Surya University, was a young boy living on the outskirts of Jakarta, he experienced poverty first-hand. His family of eleven members lived in a small, three-room house ...

This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of ...

Logical reasoning is a crucial skill for math success. It helps understand concepts and solve problems. This skill builds strong arguments and reduces errors. It improves problem-solving across ...

Paul is an incoming assistant professor in computer science at the University of Colorado Boulder (Fall 2026). His research explores the fundamentals of symbolic learning and synthesis, e.g. learning ...