- Ph.D., University of Washington, 1987.
- B.Sc., University College Cork, Ireland, 1982.
I am interested in computational complexity theory and design of algorithms. Over the years, the problems I’ve worked on come from many areas, including bioinformatics, hardware verification, and combinatorial auctions. Much of my current work focuses on models (such as Chemical Reaction Networks) and algorithms for computing with molecules, as well as methods for predicting DNA kinetics.