我的学术活动主要是科学和数学教育,特别是计算机科学教育。以下是我参与过的主题: 数学逻辑。 并发性。 编程语言。 科学史和哲学。 程序动画。 机器人技术。 中学数学。 我的工作得到了ACM奖项的认可: ACM SIGCSE计算机科学教育杰出贡献奖(2004年) ACM杰出教育家(2009) ACM SIGAda杰出Ada社区贡献奖(2013年) ACM Karl V. Karlstrom杰出教育家奖(2019年) 开放获取书籍: