- Manuel Clavel
- International Fellow,
Computer Science Laboratory
- Address:
- Computer Science Laboratory
,
- SRI International
- 333 Ravenswood Avenue, Menlo Park, CA 94025, USA.
- Telephone: +1 (415) 859-4590
- Facsimile: +1 (415) 859-2844
- Email: clavel@csl.sri.com
- Other information:
- Research projects
- Publications
- Software systems
- Biographical information
- Research Interests:
- Equational and rewriting techniques
- Reflective logics and languages
- Deductive strategies
- General logics and logical frameworks
- Philosophy of computation
23 October 1997