I'm interested in just about everything. For example, distributed systems, formal specifications, user interfaces, grammars, and embedded systems.