Zohair Raza Hassan, a third-year Ph.D. student in the Golisano College of Computing and Information Sciences, traveled to Bratislava, Slovakia, in August to present at the 49th International Symposium ...

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

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

NEW YORK, August 16, 2018 - The 2018 Donald E. Knuth Prize will be awarded to Johan Torkel Håstad of the KTH Royal Institute of Technology (Sweden) for his long and sustained record of milestone ...

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

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

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