Anya Tafliovich

Department of Computer Science
University of Toronto
10 King's College Road
Toronto, Ontario, M5S 3G4
Canada
1-416-946-5237

email

I am a PhD candidate in the Department of Computer Science at the University of Toronto . I work under the supervision of Prof. E.C.R. Hehner .
I have received an Honours Bachelor of Science with High Distinction in June 2002 and a Master of Science in November 2004, both from the University of Toronto. My major academic awards include three Ontario Graduate Scholarships (OGS) (in 2002-2003, 2003-2004 (declined), and in 2005-2006 (declined)), as well as a Natural Sciences and Engineering Research Council of Canada (NSERC) Postgraduate Scholarship at Master's level (2003-2004) and another at PhD level (2004-2007).

I spent the past few months taking care of David. I'm now back to work and I expect to graduate in the Fall of 2009, after which point you can hire me!

My current CV. My LinkedIn profile.

Research

My current research interests lie at the intersection of Quantum Information and Programming Methodology.

Anya Tafliovich, Eric C.R. Hehner: Programming with Quantum Communication, In Proceedings of the 7th ETAPS workshop on Quantitative Aspects of Programming Languages (QAPL), York, UK, 2009 March 28-29. An extended version is to appear in Elsevier's Electronic Notes in Theoretical Computer Science (ENTCS) 2009.
Anya Tafliovich, K. Ku: AI Planning by Multi-Valued Model-Checking, 2009.
Anya Tafliovich, Eric C.R. Hehner: Programming Telepathy: Implementing Quantum Non-Locality Games, In Proceedings of the 10th Brazilian Symposium on Formal Methods (SBMF), Ouro Preto, Brazil, 29-31 August 2007. A much better version is to appear in a special issue of Elsevier's Electronic Notes in Theoretical Computer Science (ENTCS) 2009.
Anya Tafliovich: It's Not Magic: I Can Prove It, In GHC 2007 New Investigators.
Anya Tafliovich, Eric C.R. Hehner: Quantum Predicative Programming, In Proceedings of the 9th International Conference on Mathematics of Program Construction (MPC), Kuressaare Estonia, 3-5 July 2006 and in Springer's Lecture Notes in Computer Science (LNCS) 4014 p.433-454.
Anya Tafliovich: Quantum Programming, Master's thesis, University of Toronto, 2004.
Before I became interested in Quantum Information, I took part in the XChek project:
XChek: A Model-Checker for Multi-Valued Reasoning, In Proceedings of the 25th International Conference on Software Engineering (ICSE), Portland, USA, 3-10 May 2003.
A while ago my friend and I worked on a Preference Elicitation project under the supervision of Craig Boutilier. Some results and some code are here.

Anya Tafliovich, Alexander Kress: Using Grid Solution Methods for a POMDP Formulation of Preference Elicitation Problem, Technical report, University of Toronto, 2002.
Even before that my friend and I thought it would be fun to see what happens when the well-known matching algorithms from the field of Graph Theory are put in the context of floating point arithmetic. As part of the project, conducted under the supervision of Tom Fairgrieve, we've implemented a nice software library, which I will put up here some time.

Anya Tafliovich, Andrew Misyura: Algorithms for solving matching problems involving floating point arithmetic, Technical report, University of Toronto, 2001.

I am also working on translating a Practical Theory of Programming by E.C.R. Hehner into Russian, which to me is an increasingly fascinating and increasingly difficult task.

Teaching

Course Instructor, Principles of Programming Languages, Summer 2008
Course Instructor, Principles of Programming Languages, Spring 2008
Teaching Assistant, Principles of Programming Languages, Fall 2007
Teaching Assistant, Principles of Programming Languages, Spring 2007
Teaching Assistant, Mathematical Expression and Reasoning for Computer Science, Spring 2007
Teaching Assistant, Introduction to the Theory of Computation, Fall 2006
Teaching Assistant, Mathematical Expression and Reasoning for Computer Science, Spring 2006
Teaching Assistant, Principles of Programming Languages, Fall 2002 - Fall 2005

Interests

My best thesis avoidance techniques are hiking, canoeing, reading, cinematography, practicing yoga, and cooking.

Pictures

Our very old Photo Gallery is here . If you are a hiker, look for trips to Banff, Jasper, Nova Scotia, and more.