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 ...
Next Wednesday, University College Cork’s Prof Barry O’Sullivan will give an interactive lecture on teaching the principles of computer science to primary school children. The lecture is free and open ...