[Home] [CV] [Publications]

Carolyn L. Talcott

Affiliation: Computer Science Laboratory, SRI International.
Office: EL 274
Address: Computer Science Laboratory, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, USA
Email:
Phone: +650-859-3044
Fax: +650-859-2844

Research Interests: Formal modeling and reasoning, semantics of programming languages, open distributed systems, interoperation, reflection, modeling biological systems.

Curriculum Vita
Publications


Co-Editor in Chief with Olivier Danvy of Higher-Order and Symbolic Computation (HOSC).
A selection of HOSC papers is publically avaliable on the
HOSC informal home page.

Current Projects

Other Projects

Workshops and Conferences