MIT Press recently published Fundamental Proof Methods in Computer Science, a book by Konstantine Arkoudas and David Musser, a professor emeritus of computer science at the Rensselaer Polytechnic ...
Concordia’s Department of Computer Science and Software Engineering is hosting a distinguished lecture series for students, faculty and staff to celebrate its 50th anniversary, a milestone reached in ...