I joined the faculty of the Department of Science Teaching at the Weizmann Institute of Science in 1995. As of January, 2019, I am an emeritus professor. We developed learning materials for computer science at the middle- and secondary-school levels, and performed pedagogical research. Some of our long-term projects were:
- Automatic animation of programs, in collaboration with a research group led by Prof. Erkki Sutinen at the University of Eastern Finland, Joensuu, Finland.
- Learning of CS through Scratch, in collaboration with Prof. Michal Armoni and graduate students at the Weizmann Institute of Science.
- Educational robotics, in collaboration with a research group led by Prof. Francesco Mondada at the École Polytechnique Fédérale de Lausanne, Switzerland.
My work has been recognized by the ACM SIGCSE Award for Outstanding Contributions to Computer Science Education and I was named an ACM Distinguished Educator.
I have published textbooks on concurrent programming, programming languages, mathematical logic and robotics.