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

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 ...

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 ...

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 ...

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 ...

The course will be a proof-based theoretical course and assume sufficient mathematical maturity, in particular in probability and linear algebra. Important concepts will be reviewed. A good ...

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 ...

Join a University ranked in the UK top five for Maths research (THE analysis of REF 2021) with an excellent reputation for teaching and learning (a top ten UK university for Maths, QS World University ...