Master :: Anya Tafliovich
Interests: formal methods of program design, quantum computing

Contact Information:

MSC Thesis:
[ 2002 -- 2004 ] Quantum Programming
Advisors:

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004