My academic activities are in science and mathematics education in general, and computer science education in particular. Here are the topics I have worked on:

  • Mathematical logic.
  • Concurrency.
  • Programming languages.
  • History and philosophy of science.
  • Program animation.
  • Robotics.
  • Secondary-school mathematics.

My work has been recognized by ACM awards:

  • ACM SIGCSE Award for Outstanding Contributions to Computer Science Education (2004)
  • ACM Distinguished Educator (2009)
  • ACM SIGAda Outstanding Ada Community Contribution Award (2013)
  • ACM Karl V. Karlstrom Outstanding Educator Award (2019)

Open access books: