עבודת הדוקטורט של קרולין טלקוט משנת 1985 באוניברסיטת סטנפורד, בשם "המהות של RUM: תאוריה של ההיבטים האינטנציונליים והאקסטנזיונליים של חישוב מסוג LISP", קבעה אותה כחוקרת משמעותית בתחום ההיגיון הפורמלי. עבודתה מגשרת בין תורת החישוב המופשטת לבין יישומים מעשיים בקריפטואנליזה ובדינמיקה המורכבת הנמצאת במערכות ביולוגיות.
יסודות אקדמיים
נולדה בקלדוול בשנת 1941 להווארד טלקוט והרייט לואיז מיטשל. טלקוט פעלה לפי מסלול אקדמי מקיף. השכלתה הפורמלית כללה לימודים באוניברסיטת דנוור, באוניברסיטת קליפורניה בברקלי ובאוניברסיטת סטנפורד. היא סיימה את הדוקטורט שלה בסטנפורד בשנת 1985 בהנחייתו של שלמה פפרמן.
מחקר ותפקידים מקצועיים
טלקוט פועלת כמנהלת התוכנית של קבוצת ביולוגיה של מערכות סימבוליות ב-SRI International. מאמציה המקצועיים מתפרסמים גם לאחריות עריכתית, כשהיא משמשת כעורכת-שותף הראשית של פרסום Higher-Order and Symbolic Computation. הקריירה שלה מוגדרת על ידי החקירה הטכנית של מערכות מחשב, קריפטואנליזה והמודלינג של תהליכים ביולוגיים דרך לוגיקה פורמלית.
שייכויות מוסדיות
לאורך קריירתה, טלקוט קיימה קשרים אקדמיים ומחקריים עם אוניברסיטת סטנפורד ו-SRI International. תרומותיה לתחום הקנו לה את התואר עמיתת SRI בשנת 2011. היא נשארת חברה פעילה בארגונים מקצועיים כולל האגודה ללוגיקה סימבולית והאגודה למכונות מחשב.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →עובדות מהירות
- נולדה: 1941, קלדוול - אזרחות: ארצות הברית - השכלה: אוניברסיטת דנוור, UC ברקלי, אוניברסיטת סטנפורד - תפקיד נוכחי: מנהלת תוכנית, SRI International - הוקרה: עמיתת SRI, 2011 - תפקיד בולט: עורכת-שותף ראשית, Higher-Order and Symbolic Computation
שאלות שקוראים שואלים
### מהו המוקד העיקרי של מחקרה של קרולין טלקוט?
היא מתמחה בהיגיון פורמלי המיושם על מערכות מחשב, קריפטואנליזה וביולוגיה של מערכות סימבוליות.
### באיזו אוניברסיטה סיימה טלקוט את לימודי הדוקטורט שלה?
היא קיבלה את הדוקטורט שלה מאוניברסיטת סטנפורד בשנת 1985.