I just got my Ph.D. (Aug/2000) from CMU/CSD. Research areas I am interested in include Internet media, electronic commerce, security, distributed systems, networking, and formal methods. For my thesis, I formulated a framework for modeling and analyzing electronic commerce protocols. I then used this framework to analyze a number of existing protocols.
I have also been involved with Intelligent Software Agents project at CMU's Robotics Institute. My contributions to the project consists of design and implementation of a public-key based security infra-structure for the RETSINA multi-agent system.