I'm involved with the VCTAL project at DIMACS (writing curriculum modules on computational thinking).
I was a speaker for the 2012 Reconnect program on "Game Theory and Security"
Research
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:
