Marsha Chechik

Professor of Computer Science

chechik@cs.toronto.edu

416-978-3820

Location:

Bahen Center, room 3248

A world-renowned expert in automated verification techniques.

Link to Personal Website or CV:

http://www.cs.toronto.edu/~chechik/