I'm involved with the VCTAL project at DIMACS (writing curriculum modules on computational thinking).
I'm on the editorial board for the PS-Future curriculum-development project at DIMACS.
Research
Developing and using models for trustworthy computing: I work to capture real-world problems with abstract models that are amenable to formal reasoning, and I use these types of models to answer questions about trustworthy computing. This includes the study of problems in security, accountability, privacy, and the reliability of distributed dynamics. It draws on tools from formal methods, game theory, distributed computing, and discrete mathematics.
See the project pages for my current and recent NSF awards on:
