Main Page

From Scholarpedia
Jump to: navigation, search
    Scholarpedia header

    Welcome to Scholarpedia

    the peer-reviewed open-access encyclopedia,
    where knowledge is curated by communities of experts.

    White arrow.png
    Icon write.png


    Academics author encyclopedic articles on the subject areas they know best.

    Stages arrow.png
    Icon planet.png


    Each article undergoes scholarly peer-review and, if accepted, is published.

    Stages arrow.png
    Icon curate.png


    As the field advances, an expert curator vets article revisions.

    Disseminate: share your expertise with a global audience

    Pioneer: write the first persistent online review in your area of specialization

    Steward: supervise the development of articles in your field

    Collaborate: work with expert scientists and scholars from around the world

    Learn: gain experience with scholarly writing and editing

    Publish: transform your writing into a peer-reviewed article

    Icon author.png




    Computational type theory

    Scholarpedia, 4(2):7618. (2009).

    Robert Constable

    Robert Lee Constable is a computer scientist and the head of the Nuprl research group in automated reasoning and software verification at Cornell University.

    He received his A.B. (1964) from Princeton University and M.A (1965) in Mathematics from University of Wisconsin. He continued in Wisconsin and received his Ph.D. (1968) working under Stephen Kleene. He served Cornell for ten years as the founding dean of the Faculty of Computing and Information Science.

    His professional activities include editorships of The Computer Journal, Journal of Logic and Computation, and of Logical Methods in Computer Science. He serves on several advisory boards including for the Computer Science Departments at Columbia University,Princeton University and Johns Hopkins University as well as for and the Michigan School of Information. He has also held positions with research organizations such as LICS - General Chair, NATO Summer School at Marktoberdorf - Director, Microsoft - Faculty Fellows Committee. He is an ACM Fellow and was granted the John Simon Guggenheim Fellowship and the Outstanding Educator Award.

    Professor Constable's research interests include formal methods, applied logic and programming language theory. He is known as one of the founders of computational type theory and of Nuprl, one of the first type theory based theorem provers. He has written three books on programming logics and type theories and has supervised 42 PhD students thus far.

    Originally featured on Feb. 15, 2011.

    Each week Scholarpedia recognizes a different contributing author by featuring a short bio of them on the home page.

    Icon published.png


    • List bullet.png


      Strongly Correlated Electrons in Solids

      Henri Alloul (2014), Scholarpedia, 9(7):32067.

      Most emergent properties of the materials discovered since the 1980's are related to the existence of electron-electron interactions which are large with respect to... more Icon more.png

    • List bullet.png


      Quantum chaotic scattering

      Pierre Gaspard (2014), Scholarpedia, 9(6):9806.

      Quantum chaotic scattering refers to the scattering of quantum-mechanical or other waves in deterministic systems without quenched disorder, yet manifesting... more Icon more.png

    • List bullet.png

      Point mass.png

      The MOND paradigm of modified dynamics

      Mordehai Milgrom (2014), Scholarpedia, 9(6):31410.

      MOND is an alternative paradigm of dynamics, seeking to replace Newtonian dynamics and general relativity. It aims to account for the ubiquitous mass discrepancies in... more Icon more.png

    • List bullet.png


      Period doubling

      Charles Tresser et al. (2014), Scholarpedia, 9(6):3958.

      A period-doubling bifurcation corresponds to the creation or destruction of a periodic orbit with double the period of the original orbit. These bifurcations are... more Icon more.png

    • List bullet.png

      Boil0 small.gif

      Coupled maps

      Kunihiko Kaneko and Tatsuo Yanagita (2014), Scholarpedia, 9(5):4085.

      A coupled map consists of an ensemble of elements of given discrete-time dynamics ("map") that interact ("couple") with other elements from a suitably chosen set... more Icon more.png

    Icon editorial.png



    Icon editorial.png


    See the complete Scholarpedia editorial board.

    Personal tools

    Focal areas