I have been on the faculty of the Department of Science Teaching at the Weizmann Institute of Science since 1995. I head the group on computer science education, which specializes in the learning and teaching of CS at the middle- and secondary-school levels.
Two of our long-term projects were:
Currently, we are working on educational robotics, in collaboration with Prof. Francesco Mondada. and Dr. Stéphane Magnenat at EPFL (École Polytechnique Fédérale de Lausanne, the Swiss Federal Institute of Technology).
I have published textbooks and developed software tools for learning advanced CS concepts: concurrent programming, mathematical logic, verification.