This course will discuss fundamental concepts and tools in discrete mathematics with emphasis on their applications to computer science. Example topics include logic and Boolean circuits; sets, ...

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

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

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

The Department of Mathematics and Computer Science offers major programs leading to the bachelor of science in mathematics or the bachelor of science in computer science, as well as required and ...

Expand the application of computing and computational thinking at an R1 flagship technological university where STEM research is at the heart of everything we do. Learn from caring and skilled faculty ...

Their peer-reviewed paper will be formally presented in October at the 54th annual IEEE Symposium on Foundations of Computer Science, one of the two most prominent conferences in the field of ...