Carolyn Talcott - Carolyn Talcott

Carolyn Talcott
Carolyn Talcott.jpg
Carolyn Talcott, 2004
Doğum (1941-06-14) 14 Haziran 1941 (yaş 79)[1]
gidilen okul
Bilimsel kariyer
Alanlar
Kurumlar
TezRUM'un Özü: LISP-Tipi Hesaplamanın İçsel ve Kapsamlı Yönlerinin Bir Teorisi  (1985)
Doktora danışmanıSolomon Feferman[2]
Önemli öğrencilerNalini Venkatasubramanyan[1]
İnternet sitesiwww.jlambda.com/ clt/

Carolyn Talcott (14 Haziran 1941 doğumlu), çalıştığı bilinen Amerikalı bir bilgisayar bilimcisi. resmi akıl yürütme özellikle bilgisayarlarla ilgili olduğu için kriptanaliz ve sistem biyolojisi. Şu anda, Sembolik Sistem Biyolojisi grubunun program direktörüdür. SRI Uluslararası.[3][4]

Şu anda derginin yardımcı editörüdür. Yüksek Dereceli ve Sembolik Hesaplama.[5]

Eğitim

Talcott doktora derecesi aldı. itibaren Stanford Üniversitesi 1985 yılında. Tezi, RUM'un Özü: LISP-Tipi Hesaplamanın İçsel ve Kapsamlı Yönlerinin Bir Teorisi, tarafından denetlendi Solomon Feferman.[2]

Ödüller ve üyelikler

Talcott, 2011 yılında SRI Fellow seçildi.[3] O üyesidir Bilgi İşlem Makineleri Derneği ve Sembolik Mantık Derneği.[1]

Referanslar

  1. ^ a b c "Carolyn Talcott Curriculum Vita". Stanford Üniversitesi. Alındı 2012-10-14.
  2. ^ a b Carolyn Talcott -de Matematik Şecere Projesi
  3. ^ a b "Çalışanlarımız: Carolyn Talcott". SRI Uluslararası. Alındı 2012-10-14.
  4. ^ Sylvan, Pinsky (2011). "Carolyn Talcott'un bilime katkılarını onurlandırmak". Ağa'da Gül; Meseguer, Jose; Danvy, Olivier (editörler). Biçimsel modelleme. Berlin, Heidelberg: Springer-Verlag. sayfa 4–19. ISBN  978-3-642-24932-7.
  5. ^ "Yüksek Sıralı ve Sembolik Hesaplama". Springer Science + Business Media. Arşivlenen orijinal 2013-02-11 tarihinde. Alındı 2012-10-14.

Dış bağlantılar