Anya Tafliovich

Current

• PhD Student at University of Toronto

Past

• Course Instructor at University of Toronto
• Course Instructor at University of Toronto
• Teaching Assistant at University of Toronto

• Teaching Assistant at University of Toronto
• Teaching Assistant at University of Toronto
• Teaching Assistant at University of Toronto
• Teaching Assistant at University of Toronto
• Head Teaching Assistant at University of Toronto
• Teaching Assistant at University of Toronto
• Research Assistant at University of Toronto

see less...

7 more...

Education

• University of Toronto
• University of Toronto
• University of Toronto

see less...

Recommended

2 people have recommended Anya

Connections

55 connections

Industry

Higher Education

Anya Tafliovich’s Summary

Computer scientist with strong theoretical and mathematical background. Broad knowledge of the area, including Software Engineering, Formal Verification, Quantum Computing, and Automated Reasoning. Strong technical skills. Experience in teaching at the university.

Anya Tafliovich’s Specialties:

Strong background in software engineering, formal verification, quantum computing, algorithms, data structures, AI, automated reasoning.

Strong background in mathematics: algebra, logic, combinatorics.

Experience with Java, C/C++, LISP, Scheme, ML, Prolog, Perl, Matlab, JavaScript, HTML, LaTeX, UNIX tools, etc.

Anya Tafliovich’s Experience

• PhD Student

  University of Toronto

  (Educational Institution; Higher Education industry)

  September 2004 — Present (5 years 4 months)

  My current research interests lie at the intersection of Quantum Information and Programming Methodology. Recent papers on the topic:
  
  # 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, 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. Invited for 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.
  
  Papers on Automated Verification and Automated Reasoning:
  
  # Anya Tafliovich, K. Ku: AI Planning by Multi-Valued Model-Checking, 2009.
  
  # M. Chechik, B. Devereux, S. Easterbook, A. Gurfinkel, A. Lai, C. Thompson-Walsh, Anya Tafliovich, V. Petrovykh: XChek: A Model-Checker for Multi-Valued Reasoning, In Proceedings of ICSE 2003.

• Course Instructor

  University of Toronto

  (Educational Institution; Higher Education industry)

  May 2008 — August 2008 (4 months)

  Teaching Principles of Programming Languages - a third-year Computer Science course. Tasks include preparing and conducting weekly lectures, preparing tutorial material and managing 4-6 teaching assistants, developing theoretical and programming assignments (including code base and auto-testers), tests and exams.

• Course Instructor

  University of Toronto

  (Educational Institution; 10,001 or more employees; Higher Education industry)

  January 2008 — May 2008 (5 months)

  Teaching Principles of Programming Languages - a third-year Computer Science course. Tasks include preparing and conducting weekly lectures, preparing tutorial material and managing 4-6 teaching assistants, developing theoretical and programming assignments (including code base and auto-testers), tests and exams.

• Teaching Assistant

  University of Toronto

  (Educational Institution; Higher Education industry)

  September 2007 — December 2007 (4 months)

  Teaching Assistant for Principles of Programming Languages - a third-year Computer Science course.

• Teaching Assistant

  University of Toronto

  (Educational Institution; Higher Education industry)

  January 2007 — May 2007 (5 months)

  Teaching Assistant for Mathematical Reasoning in Computer Science - a first-year Computer Science course.

• Teaching Assistant

  University of Toronto

  (Educational Institution; Higher Education industry)

  January 2007 — May 2007 (5 months)

  Teaching Assistant for Principles of Programming Languages - a third-year Computer Science course.

• Teaching Assistant

  University of Toronto

  (Educational Institution; Higher Education industry)

  September 2006 — December 2006 (4 months)

  Teaching Assistant for Introduction to Theory of Computation - a second-year Computer Science course.

• Teaching Assistant

  University of Toronto

  (Educational Institution; Higher Education industry)

  September 2005 — May 2006 (9 months)

  Teaching Assistant for Mathematical Reasoning in Computer Science - a first-year Computer Science course.

• Head Teaching Assistant

  University of Toronto

  (Educational Institution; Higher Education industry)

  September 2004 — December 2004 (4 months)

  Head Teaching Assistant for Principles of Programming Languages - a third-year Computer Science course. Extra duties include preparing course assignments and tests and managing 4 Teaching Assistants.

• Teaching Assistant

  University of Toronto

  (Educational Institution; Higher Education industry)

  September 2002 — May 2004 (1 year 9 months)

  Teaching Assistant for Principles of Programming Languages - a third-year Computer Science course.

• Research Assistant

  University of Toronto

  (Educational Institution; 10,001 or more employees; Higher Education industry)

  May 2002 — August 2002 (4 months)

  Member of the Formal Verification Group

Anya Tafliovich’s Education

• University of Toronto

  PhD , Computer Science , 2004 — 2009

  Supervised by Eric C.R. Hehner.

• University of Toronto

  MSc , Computer Science , 2002 — 2004

  Supervised by Eric C.R. Hehner.
  Thesis title: "Quantum Programming"

• University of Toronto

  Hon BSc , Computer Science , 1998 — 2002

  Graduated with High Distinction
  Specialist in Computer Science, Major in Mathematics

Additional Information

Anya Tafliovich’s Interests:

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

Anya Tafliovich’s Groups:

•    SoftwareEngineering
•    Anita Borg Institute for Women and Technology
•    University of Toronto
•    Formal Methods: Specification, Verification, TCG
•    Software Development with Formal Methods
•    Quantum Information Science
•    Quantum Computing and Quantum Information

Anya Tafliovich’s Honors:

* Natural Sciences and Engineering Research Council of Canada (NSERC) Postgraduate Scholarship at PhD level (2004-2007) and another one at Master's level (2003-2004) : a highly selective Canadian national scholarship for graduate studies in science
* Ontario Graduate Scholarship (OGS) 2002-2003 and again in 2003-2004 (declined), and 2005-2006 (declined): premier provincial scholarship for graduate studies
* University of Toronto Dean's List every year in 1998-2002
* The Trenwith Computer Science Award 2000 and again in 2001
* member of Golden Key National Honour Society since 2000
* Dr. James & C.P. Dickson Scholarship in Sciences and Mathematics 2000
* C.L.Burton Scholarship 1999
* A.MacMurchy Scholarship 1998

Anya Tafliovich’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• expertise requests
• reference requests
• getting back in touch