31:
572:
557:
523:
547:
396:
552:
380:
229:
602:
592:
582:
567:
577:
266:
516:
234:
76:
607:
597:
372:
245:
Carolyn was born to Howard
Talcott and Harriet Louise Mitchell who were Presbyterians from Idaho. Talcott earned a Ph.D. from
432:
270:
420:
509:
295:
562:
462:
173:
400:
542:
587:
71:
316:
246:
209:
125:
81:
489:
446:
251:
The
Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation
147:
The
Essence of RUM: A Theory of the Intensional and Extensional Aspects of LISP-Type Computation
376:
343:
221:
130:
493:
254:
163:
158:
104:
217:
109:
57:
421:
http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/mccarthy-john.pdf
536:
213:
339:
220:. She is currently the program director of the Symbolic Systems Biology group at
30:
146:
364:
291:
208:(born June 14, 1941) is an American computer scientist known for work in
140:
312:
466:
265:
Talcott was named an SRI Fellow in 2011. She is a member of the
188:
433:"Harriet Louise Mitchell Arnold Obituary (2003) the Oregonian"
497:
367:. In Agha, Gul; Meseguer, Jose; Danvy, Olivier (eds.).
365:"Honoring Carolyn Talcott's contributions to science"
183:
169:
157:
139:
118:
97:
64:
40:
21:
399:. Springer Science+Business Media. Archived from
517:
8:
227:She is currently the co-editor-in-chief of
524:
510:
29:
18:
573:University of California, Berkeley alumni
287:
285:
212:, especially as it relates to computers,
558:American theoretical computer scientists
488:This biographical article relating to a
397:"Higher-Order and Symbolic Computation"
281:
16:American computer scientist (born 1941)
334:
332:
307:
305:
303:
230:Higher-Order and Symbolic Computation
7:
477:
475:
267:Association for Computing Machinery
548:American women computer scientists
496:. You can help Knowledge (XXG) by
235:John McCarthy (computer scientist)
14:
313:"Carolyn Talcott Curriculum Vita"
271:Association for Symbolic Logic
1:
340:"Our People: Carolyn Talcott"
296:Mathematics Genealogy Project
553:American computer scientists
603:21st-century American women
593:People from Caldwell, Idaho
583:Stanford University faculty
568:University of Denver alumni
249:in 1985. Her dissertation,
624:
578:Stanford University alumni
474:
179:
174:Nalini Venkatasubramanian
90:
28:
608:Computer scientist stubs
598:SRI International people
447:"Howard Winslow Talcott"
241:Early life and education
363:Sylvan, Pinsky (2011).
35:Carolyn Talcott in 2004
371:. Berlin, Heidelberg:
261:Awards and memberships
463:List of publications
253:, was supervised by
72:University of Denver
317:Stanford University
247:Stanford University
126:Stanford University
82:Stanford University
563:Systems biologists
490:computer scientist
233:. Talcott married
505:
504:
382:978-3-642-24932-7
375:. pp. 4–19.
344:SRI International
222:SRI International
203:
202:
131:SRI International
92:Scientific career
615:
526:
519:
512:
481:P ≟ NP
476:
451:
450:
443:
437:
436:
429:
423:
418:
412:
411:
409:
408:
393:
387:
386:
360:
354:
353:
351:
350:
336:
327:
326:
324:
323:
309:
298:
289:
255:Solomon Feferman
210:formal reasoning
199:
196:
194:
192:
190:
170:Notable students
164:Solomon Feferman
159:Doctoral advisor
153:
105:Computer science
54:
50:
48:
33:
19:
623:
622:
618:
617:
616:
614:
613:
612:
533:
532:
531:
530:
483:
472:
459:
454:
445:
444:
440:
431:
430:
426:
419:
415:
406:
404:
395:
394:
390:
383:
373:Springer-Verlag
369:Formal modeling
362:
361:
357:
348:
346:
338:
337:
330:
321:
319:
311:
310:
301:
292:Carolyn Talcott
290:
283:
279:
263:
243:
237:and had a son.
218:systems biology
206:Carolyn Talcott
187:
151:
135:
114:
110:Systems biology
86:
65:Alma mater
60:
58:Caldwell, Idaho
55:
52:
46:
44:
36:
24:
23:Carolyn Talcott
17:
12:
11:
5:
621:
619:
611:
610:
605:
600:
595:
590:
585:
580:
575:
570:
565:
560:
555:
550:
545:
535:
534:
529:
528:
521:
514:
506:
503:
502:
485:
479:
470:
469:
458:
457:External links
455:
453:
452:
438:
424:
413:
388:
381:
355:
328:
299:
280:
278:
275:
262:
259:
242:
239:
201:
200:
185:
181:
180:
177:
176:
171:
167:
166:
161:
155:
154:
143:
137:
136:
134:
133:
128:
122:
120:
116:
115:
113:
112:
107:
101:
99:
95:
94:
88:
87:
85:
84:
79:
74:
68:
66:
62:
61:
56:
42:
38:
37:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
620:
609:
606:
604:
601:
599:
596:
594:
591:
589:
586:
584:
581:
579:
576:
574:
571:
569:
566:
564:
561:
559:
556:
554:
551:
549:
546:
544:
543:Living people
541:
540:
538:
527:
522:
520:
515:
513:
508:
507:
501:
499:
495:
491:
486:
482:
478:
473:
468:
464:
461:
460:
456:
448:
442:
439:
434:
428:
425:
422:
417:
414:
403:on 2013-02-11
402:
398:
392:
389:
384:
378:
374:
370:
366:
359:
356:
345:
341:
335:
333:
329:
318:
314:
308:
306:
304:
300:
297:
293:
288:
286:
282:
276:
274:
272:
268:
260:
258:
256:
252:
248:
240:
238:
236:
232:
231:
225:
223:
219:
215:
214:cryptanalysis
211:
207:
198:
186:
182:
178:
175:
172:
168:
165:
162:
160:
156:
149:
148:
144:
142:
138:
132:
129:
127:
124:
123:
121:
117:
111:
108:
106:
103:
102:
100:
96:
93:
89:
83:
80:
78:
75:
73:
70:
69:
67:
63:
59:
53:(age 83)
51:June 14, 1941
43:
39:
32:
27:
20:
498:expanding it
487:
480:
471:
441:
427:
416:
405:. Retrieved
401:the original
391:
368:
358:
347:. Retrieved
320:. Retrieved
264:
250:
244:
228:
226:
205:
204:
145:
119:Institutions
91:
588:1941 births
77:UC Berkeley
537:Categories
407:2012-10-14
349:2012-10-14
322:2012-10-14
277:References
47:1941-06-14
269:and the
191:.jlambda
294:at the
184:Website
484:
379:
152:(1985)
150:
141:Thesis
98:Fields
492:is a
465:from
494:stub
467:DBLP
377:ISBN
216:and
195:/clt
193:.com
41:Born
189:www
539::
342:.
331:^
315:.
302:^
284:^
273:.
257:.
224:.
49:)
525:e
518:t
511:v
500:.
449:.
435:.
410:.
385:.
352:.
325:.
197:/
45:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.