Carolyn Talcott - Carolyn Talcott

Carolyn Talcott
Carolyn Talcott.jpg
Carolyn Talcott v roce 2004
narozený (1941-06-14) 14. června 1941 (věk 79)[1]
Caldwell, Idaho
Alma mater
Vědecká kariéra
Pole
Instituce
TezePodstata RUM: Teorie intenzitních a extenzních aspektů výpočtu typu LISP  (1985)
Doktorský poradceSolomon Feferman[2]
Pozoruhodné studentyNalini Venkatasubramanian[1]
webová stránkawww.jlambda.com/ clt/

Carolyn Talcott (narozený 14 června 1941) je americký počítačový vědec známý pro práci v formální uvažování, zejména pokud jde o počítače, dešifrování a biologie systémů. V současné době je programovou ředitelkou skupiny Symbolic Systems Biology ve společnosti SRI International.[3][4]

V současné době je šéfredaktorkou Vyšší řád a symbolický výpočet.[5]

Vzdělávání

Talcott získal titul Ph.D. z Stanfordská Univerzita v roce 1985. Její disertační práce, Podstata RUM: Teorie intenzitních a extenzních aspektů výpočtu typu LISP, byl pod dohledem Solomon Feferman.[2]

Ocenění a členství

Talcott byl jmenován členem SRI v roce 2011.[3] Je členkou Sdružení pro výpočetní techniku a Sdružení pro symbolickou logiku.[1]

Reference

  1. ^ A b C „Curolyulum Vita Carolyn Talcottové“. Stanfordská Univerzita. Citováno 2012-10-14.
  2. ^ A b Carolyn Talcott na Matematický genealogický projekt
  3. ^ A b „Naši lidé: Carolyn Talcottová“. SRI International. Citováno 2012-10-14.
  4. ^ Sylvan, Pinsky (2011). „Pocta příspěvkům Carolyn Talcottové k vědě“. V Agha, Gul; Meseguer, Jose; Danvy, Olivier (eds.). Formální modelování. Berlín, Heidelberg: Springer-Verlag. s. 4–19. ISBN  978-3-642-24932-7.
  5. ^ „Vyšší řád a symbolický výpočet“. Springer Science + Business Media. Archivovány od originál dne 11.02.2013. Citováno 2012-10-14.

externí odkazy