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