School of Computer Science University of Waterloo

CS 697 Grad Skills

Fall 2019

General Information


12:00–1:20 M in DC 2568.


Richard Trefler (David R. Cheriton School of Computer Science)
Email: trefler at
Office: DC 2336.
Office hours: after class and by appointment.

Class schedule and outline


  • Hinton, G. E. and Salakhutdinov, R. R. (2006) Reducing the dimensionality of data with neural networks. Science, Vol. 313. no. 5786, pp. 504 - 507, 28 July 2006.
  • Symmetry Reduction for the Local Mu-Calculus, Kedar S. Namjoshi, Richard J. Trefler, ETAPS, TACAS (2) 2018: 379-395