Marsha Chechik

From SE Wiki
Jump to: navigation, search

Interests

Formal methods to improve quality and reliability of software, computer security.

Contact

Marsha is located in BA3248. Call 8-3820 to get in touch if the main entrance is closed.

Website

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

DBLP

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/c/Chechik:Marsha.html