Honoring Carolyn Talcott's Contributions to Science

摘要

This paper describes both Carolyn Talcott's technical and leadership contributions to formal methods, cryptographic protocol anal ysis, and systems biology. Carolyn has played a vitally important leader ship role in protocol analysis through her signicant research and bring ing together leading members of the protocol analysis community. Her efforts have resulted in a unified, cohesive, and flexible foundation for the interoperation of maturing tools and techniques for designing and eval uating a wide range of protocols. As the leader of the Symbolic Systems Technology Group at SRI she has been a visionary manager with excep tionally strong technical skills who has guided, advised and mentored numerous scientists in the use of formal methods and other computa tional tools for modeling or solving diverse biological problems in cancer biology, signal transduction research, neuroscience, and infectious disease research.