Research interests. My main research interests are in software engineering and lightweight formal methods. I am currently working on a relational engine with applications to design analysis, code checking, test-case generation, and declarative configuration. I have also worked on lightweight formal language design and automated verification of security protocols.