Research Areas: Programming languages, compilers, computer security.
Independent Research Topics:

1. Can prox cards be scanned from a distance? What are the implications?
2. Trojan horses in cryptographic protocols.
3. Automated theorem proving.
4. Computer game-playing programs.