As a doctoral student at Carnegie Mellon University my research has dealt with system design, modeling, and analysis. My research began with model checking and hardware verification at CMU. I also spent summers at Intel and Cadence investigating how to use formal methods to verify real world microprocessor designs. I am also interested in real-time systems, and how a model checker can be used to analyze the performance of these systems in addition to verifying correctness.
Currently, I am investigating how to model and verify computer
security protocols including authentication protocols and electronic
commerce protocols. With the growth such entities as "the Internet"
and "the World Wide Web", both in the number of users and the number
of organizations offering services, computer security and information
survivability are quickly becoming extremely important and
challenging areas. I hope to continue to make contributions in these
fields.
For more information you can look at a list of my publications or at the CMU model checking project home page.
3/20/99 - 3/26/99
3/28/99 - 4/6/99