Contact Information

Senior Computer Scientist

SRI International Computer Science Laboratory
333 Ravenswood Ave
Menlo Park California 94025, USA

Curriculum Vitae

Research Interests

  • Intelligent, intuitive interfaces
  • Specification and verification of communication and security issues of distributed systems
  • Semantic models
  • (Distributed) temporal logic and rewriting logic
  • Application of formal methods
  • Object-orientation
  • Specification of distributed (information) systems
  • Refinement