Graduate Students

All students are at the Department of Science Teaching of the Weizmann Institute of Science unless otherwise written.

Postdoctoral fellows

PhD students

  1. Fatima Kaloti-Hallak (current). Joint supervisor: Michal Armoni.
  2. Rivka Taub (current). Joint supervisor: Michal Armoni.
  3. Jan Lönnberg, 2012. Aalto University. Joint supervisor: Lauri Malmi.
  4. Ronit Ben-Bassat Levy. Teaching Computer Science with Animation: Attitudes and Ways of Experiencing, 2009.
  5. Niko Myller. Collaborative Software Visualization for Learning: Theory and Applications, University of Joensuu, 2009. Joint supervisor: Erkki Sutinen.
  6. Noa Ragonis. Teaching Object-Oriented Programming to Novices, 2004.
  7. Cecile Yehezkel. A Visualization Environment for Computer Architecture, 2004. Joint supervisor: Tommy Dreyfus.
  8. Yifat Ben-David Kolikant. Understanding Concurrency: The Process and the Product, 2003.

MSc students

  1. Fatima Hallack. Learning Programming Concepts Using Scratch at the Middle School Level, 2010. Joint supervisor: Michal Armoni.
  2. Rivka Taub. CS Unplugged and Middle-School Students' Views, Attitudes, and Intentions Regarding CS, 2009. Joint supervisor: Michal Armoni.
  3. Gil Ebel. The Effect of Program Visualization on the Attention-Directing Characteristics of the Learner, 2006.
  4. Shmuel Schwartz. Using State Diagrams for Understanding Correctness in Concurrent Programming, 2006.
  5. Andres Moreno-Garcia. The Design and Implementation of Intermediate Codes for Software Visualization. University of Joensuu, 2005. Joint supervisor: Erkki Sutinen.
  6. Maxim Mozgovoy. Concurrent Program Verifier: A Tool for Teaching Concurrent Programming. University of Joensuu, 2004. Joint supervisor: Erkki Sutinen.
  7. Niko Myller. The Fundamental Design Issues of Jeliot 3. University of Joensuu, 2004. Joint supervisor: Erkki Sutinen.
  8. Yevgeniya Kulikova.Roles of Variables in Teaching Functional Programming. University of Joensuu, 2004. Joint supervisor: Jorma Sajaniemi.
  9. Tzippora Yesho. Teaching an Explicit Conceptual Model as a Means to Improve the Work with Computer Applications, 2002.
  10. Ronit Ben-Bassat Levy. The Use of Animation as a an Educational Tool, 2001.
  11. Kate Sedletzky. Formal Verification of Distributed Algorithms, 2000. Joint supervisor: Amir Pnueli.
  12. Yakov Persky. Re-engineering a Concurrency Simulator. Tel Aviv University, 1999.
  13. Yoav Tsruya. A Distributed Programming Environment in Ada95/Java. Tel Aviv University, 1998.
  14. Noa Ragonis. Introduction to Expert Systems: Development and Evaluation of a Computer Science Curriculum, 1997. Joint supervisors: Zehava Scherz, Ehud Shapira.
  15. Ophira Statman. A Prolog Proof Checker for Temporal Logic. Technion: Israel Institute of Technology, 1986.

Last updated 10 January 2012.