Contact Information

Senior Computer Scientist

SRI International Computer Science Laboratory
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