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.
Trustworthy network-mediated interactions: I work to understand the dynamics and outcomes of network-mediated interactions in order to answer questions about security, privacy, and accountability and about the reliable behavior and convergence properties of these interactions. To do this, I use tools including formal methods, game theory, and discrete mathematics.
See the project pages for my current and recent NSF awards on: