- Computer-based support for Refinement and Proof.
- Formal methods, Abstraction, and Patterns in system design
- Programming language design and implementation
- User Interface Design for Diagnostic and Therapeutic applications of computers
- Instrument Design for Psychometric Experiments
My current PGP and GPG Public Key is here. Please don't use those I made before 2000.