Richard Statman

Richard Statman

Infobox Scientist


image_width = 150px
name = Richard Statman
box_width =
birth_date = Sept 6, 1946
birth_place =
death_date =
death_place =
residence =
citizenship =
nationality =
ethnicity =
field = computer science
work_institutions = Carnegie Mellon
alma_mater = Stanford University
doctoral_advisor = Georg Kreisel
doctoral_students = Enrico Tronci
known_for =
author_abbrev_bot =
author_abbrev_zoo =
prizes =
religion =


footnotes =

Richard Statman is an American computer scientist whose principal research interest is the theory of computation, especially symbolic computation. His research involves lambda calculus, type theory and combinatory algebra.

Career

In 1974, Statman received his Ph.D. from Stanford University for his Ph.D dissertation, supervised by Georg Kreisel, entited "Structural Complexity of Proofs". His achievements include the proof that type inhabitation problem problem in simply typed lambda calculus is PSPACE-complete.

Awards and Honors

ee also

External links

* [http://www.math.cmu.edu/people/fac/statman.html Carnegie Mellon profile]


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Type inhabitation problem — In simply typed lambda calculus, the type inhabitation problem is the following problem: given a type au, does there exist a lambda term M such that Gamma vdash M : au for some type environment Gamma? If the answer is positive, M is said to be an …   Wikipedia

  • Kenneth L. Fisher — (born November 29, 1950) is an American businessman and the founder, chairman, and CEO of Fisher Investments, a money management firm headquartered in Woodside, California. Fisher writes the monthly “Portfolio Strategy” column in Forbes magazine …   Wikipedia

  • Mandolin Abstractions — Live album by David Grisman, Andy Statman Released 1983 Genre …   Wikipedia

  • New Shabbos Waltz — Studio album by David Grisman, Andy Statman Released 2006 Genre …   Wikipedia

  • David Grisman — Background information Also known as Dawg Born 23 March 1945 (1945 03 23) …   Wikipedia

  • Liste de mandolinistes de bluegrass — La mandoline est, avec la guitare, le banjo et la contrebasse, l un des quatre instruments, éventuellement complétés par un violon et/ou une dobro, qui sont supposés figurer dans un orchestre de bluegrass digne de ce nom. Les virtuoses de la… …   Wikipédia en Français

  • Hersh Shefrin — (born in Winnipeg, Canada) is an economist best known for his pioneering work in behavioral finance. Shefrin received his B.S. from Manitoba University in 1970. At the University of Waterloo in 1971 he received his M.S. in mathematics. He then… …   Wikipedia

  • David Grisman discography — David Grisman discography Releases This article presents the discography of progressive mandolin player David Grisman. As a very fruitful author, Grisman issued albums with his own groups David Grisman Quintet and Old and in the Way,… …   Wikipedia

  • List of Santa Clara University people — University presidents = *John Nobili, S.J., 1851 56 *Nicholas Congiato, S.J., 1856 57 *Felix Cicaterri, S.J., 1857 61 *Burchard Villiger, S.J., 1861 65 *Aloysius Masnata, S.J., 1865 68 *Aloysius Varsi, S.J., 1868 76 *Aloysius Brunengo, S.J., 1876 …   Wikipedia

  • Historia del Chelsea Football Club — Para una visión general del club, véase Chelsea Football Club. Este artículo documenta la historia del Chelsea Football Club, un club de fútbol establecido en el distrito de Hammersmith y Fulham, al oeste de Londres, en Inglaterra. Fundado en… …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”