CS798: Mathematical Foundations of Computer Networking - University of Waterloo