Research concerns the mathematical foundations of computer science. The topics we are interested in include algorithms, computational complexity and combinatorics, logical methods, program semantics, ...

When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to rewrite the ...

Theoretical Foundations of Computer Science research at Drexel University's College of Computing & Informatics (CCI) explores the mathematical foundations of computing. CCI Computer Science research ...

Advances in computing hardware and algorithms have dramatically improved the ability to simulate complex processes computationally. Today's simulation capabilities offer the prospect of addressing ...

NEW YORK, March 5, 2025 /PRNewswire/ -- ACM, the Association for Computing Machinery, today named Andrew G. Barto and Richard S. Sutton as the recipients of the 2024 ACM A.M. Turing Award for ...

Here in the School of Mathematical Sciences, we’re known for our undergraduate courses in applied mathematics. In recent years, we’ve grown the number of modules on offer related to computing, data ...

Barto is Professor Emeritus of Information and Computer Sciences at the University of Massachusetts, Amherst. Sutton is a Professor of Computer Science at the University of Alberta, a Research ...