My current research interests include software engineering (in particular, languages and techniques
for software specification and environments for software development), human-computer interaction,
formal methods, and real-time systems. Previous work encompasses embedded systems, microprocessors,
database systems, and computer-aided education.