Program Committees

  • CSEE&T 2023, The 35th IEEE International Conference on Software Engineering Education and Training. PC member.
  • ITiCSE 2023, The 28th annual ACM conference on Innovation and Technology in Computer Science Education. PC member.
  • SIGCSE 2023, The 54th Technical Symposium on Computer Science Education. Associate Program Chair, Exprience Reports and Tools.
  • ITiCSE 2022, The 27th annual conference on Innovation and Technology in Computer Science Education. PC member, Session Chair.
  • SIGCSE 2022, The 53rd Technical Symposium on Computer Science Education. Senior PC member.
  • ITiCSE 2021, The 26th annual conference on Innovation and Technology in Computer Science Education. PC member, Session Chair.
  • SIGCSE 2021, The 52nd Technical Symposium on Computer Science Education. Senior PC member.
  • ICSE JSEET 2021, A Joint Program of the 43rd International Conference on Software Engineering (ICSE) Software Engineering Education and Training Track (SEET) and the Conference on Software Engineering Education and Training (CSEE&T). PC member.
  • CSEE&T 2020, The 32nd IEEE International Conference on Software Engineering Education and Training. PC member.
  • ITiCSE 2020, The 25th Annual Conference on Innovation and Technology in Computer Science Education. PC member.
  • SIGCSE 2020, The 51st ACM Technical Symposium on Computer Science Education. Special Sessions PC member.
  • ITiCSE 2019, The 24th Annual Conference on Innovation and Technology in Computer Science Education. PC member.
  • SIGCSE 2019, The 50th ACM Technical Symposium on Computer Science Education. Panels Session PC member.
  • CSEE&T 2019, The 31st IEEE International Conference on Software Engineering Education and Training. PC member. Chair of two tracks.
  • GHC 2018, Grace Hopper Celebration of Women in Computing. Research Poster Session PC member.
  • ITiCSE 2018, The 23rd Annual Conference on Innovation and Technology in Computer Science Education. PC member.
  • SIGCSE 2018, The 49th ACM Technical Symposium on Computer Science Education. Birds of a Feather Sessions PC member. Session Chair.
  • CSEE&T 2017, The 30th IEEE International Conference on Software Engineering Education and Training. PC member. Session Chair.
  • ITiCSE 2017, The 22nd Annual Conference on Innovation and Technology in Computer Science Education. PC member.
  • GHC 2017, Grace Hopper Celebration of Women in Computing. Research Poster Session PC member.
  • CSEE&T 2016, The 29th IEEE International Conference on Software Engineering Education and Training. PC member.
  • GHC 2016, Grace Hopper Celebration of Women in Computing. Research Poster Session PC member.
  • MPC 2015, The 12th International Conference on Mathematics of Program Construction. PC member.
  • JSEET 2015, A Joint Program of the ICSE Software Engineering Education and Training Track (SEET) and the Conference on Software Engineering Education and Training (CSEE&T). PC member.
  • GHC 2015, Grace Hopper Celebration of Women in Computing. Research Poster Session PC member.
  • CSEE&T 2014, The 27th Conference on Software Engineering Education and Training. PC member.
  • MPC 2012, The 11th International Conference on Mathematics of Program Construction. PC member.

Computer Science Education Research

  • Luca Chiodini, Igor Moreno Santos, Andrea Gallidabino, Anya Tafliovich, AndrĂ© L. Santos, Matthias Hauswirth: A Curated Inventory of Programming Language Misconceptions. In proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE 2021), June 26 — July 1, 2021, Virtual Event, Germany.
  • Anya Tafliovich, Thomas Caswell, and Francisco Estrada: Teaching Software Engineering with Free Open Source Software Development: An Experience Report. In Proceedings of The 31st IEEE International Conference on Software Engineering Education and Training (CSEE&T 2019).
  • Francisco Estrada and Anya Tafliovich: Bridging the Gap Between Desired and Actual Qualifications of Teaching Assistants: An Experience Report. In Proceedings of the 22nd Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2017).
  • Anya Tafliovich, Jennifer Campbell, Daniel Zingaro, Francisco Estrada, and Leo Porter: Forming Strong and Effective Student Teams. Birds of a Feather Session. In Proceedings of the 48th ACM Technical Symposium on Computer Science Education (SIGCSE 2017). ACM New York, NY, USA, 731, 2017.
  • Andrew Petersen, Michelle Craig, Jennifer Campbell, and Anya Tafliovich: Revisiting why students drop CS1. Cited for excellence. In Proceedings of the 16th Koli Calling International Conference on Computing Education Research (KOLI 2016). ACM New York, NY, USA, 71-80, 2016.
  • Anya Tafliovich, Andrew Petersen, and Jennifer Campbell: Evaluating Student Teams: Do Educators Know What Students Think?. In Proceedings of the 47th ACM Technical Symposium on Computer Science Education (SIGCSE 2016). ACM New York, NY, USA, 181-186, 2016.
  • Jennifer Campbell, Stan Kurkovsky, Chun Wai Liew, and Anya Tafliovich: Scrum and Agile Methods in Software Engineering Courses. Panel. The 47th ACM Technical Symposium on Computer Science Education (SIGCSE 2016). ACM New York, NY, USA, 319-320, 2016.
  • Jennifer Campbell and Anya Tafliovich: An Experience Report: Using Mobile Development To Teach Software Design. In Proceedings of the 46th ACM Technical Symposium on Computer Science Education (SIGCSE 2015). ACM, New York, NY, USA, 506-511, 2015.
  • Anya Tafliovich, Andrew Petersen, and Jennifer Campbell: On the Evaluation of Student Team Software Development Projects. In Proceedings of the 46th ACM Technical Symposium on Computer Science Education (SIGCSE 2015). ACM, New York, NY, USA, 494-499, 2015.
  • Anya Tafliovich, Jennifer Campbell, and Andrew Petersen: A student perspective on prior experience in CS1. In Proceedings of the 44th ACM Technical Symposium on Computer Science Education (SIGCSE 2013). ACM, New York, NY, USA, 239-244, 2013.

Computer Science Research

The focus of my CS research is developing a formal framework for non-traditional computing (specifically, quantum computing) which allows verification and formal reasoning about programs.

  • Anya Tafliovich: Quantum Predicative Programming, PhD Thesis, University of Toronto, 2010.
  • 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 appeared in volume 252(3) of 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. A much better version appears in a special issue of Elsevier's Electronic Notes in Theoretical Computer Science (ENTCS) 2010.
  • 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.

  • Anya Tafliovich, Alexander Kress: Using Grid Solution Methods for a POMDP Formulation of Preference Elicitation Problem, Technical report, University of Toronto, 2002.
  • Anya Tafliovich, Andrew Misyura: Algorithms for solving matching problems involving floating point arithmetic, Technical report, University of Toronto, 2001.