I am a Research Professor of Computer Science at Brown University. Over time, I have worked in diagrammatic reasoning, formal methods, software security, and computing education. I am generally interested in cognitive aspects of how people understand and interact with computational systems. I work on K-12 computing education through Bootstrap
I am a Research Professor of Computer Science at Brown University. Over time, I have worked in diagrammatic reasoning, formal methods, software security, and computing education. I am generally interested in cognitive aspects of how people understand and interact with computational systems. I work on K-12 computing education through Bootstrap