DOCSLIB.ORG

CSAIL Academic Genealogy

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
CSAIL Academic Genealogy qrcode Søren Rasmussen Shams ad-Din al-Bukhari Universitet i Oslo ??? Dorothea Jameson Wellesley College Bernt Michael Holmboe Gregory Chioniadis Judy Brewer Randy Rettberg ??? ??? ??? Illinois (M.S.) Aravind Krishna Joshi Leo Maurice Hurvich Penn 1960 Harvard 1936 Carl Anton Bjerknes Cato Maximilian Guldberg Manuel Bryennios ??? ??? ??? Kathleen Rose McKeown Jeanny Hérault David H. Krantz Penn 1982 Institut National Polytechnique Grenoble 1974, 1980 Penn 1964 Marius Sophus Lie Theodore Metochites University of Christiania 1872 1315 Aude Oliva Regina Barzilay Antonio Torralba Institut National Polytechnique Grenoble 1995 Philip John Smith Columbia 2003 Institut National Polytechnique Grenoble 2000 Michigan 1979 Elling Holst Gregory Palamas Dominic de Guzman (St. Dominic) Arthur Edwin Kennelly Joseph Warren Horton ??? ??? Palencia self-taught ??? Stephanie Guerlain Ohio State 1995 Axel Thue Nilos Kabasilas Reginald of Saint-Gilles Vannevar Bush Lawrence Baker Arguimbau University of Christiania 1889 1363 ??? MIT 1916 ??? Mary (Missy) Cummings Virginia 2003 Fred M. Tonge, Jr. ??? Wallace L. Cassell Thoralf Albert Skolem Demetrios Kydones Elissaeus Judaeus Jordan of Saxony Samuel Hawks Caldwell John B. Russell, Jr. ??? Oslo 1926 Constantinople ??? Université de Paris MIT 1933 MIT 1950 Lawrence Arnold Rowe UC Irvine 1976 John Douglas Ryder Öystein Ore Vincent C. Rideout Manuel Chrysoloras Georgios Plethon Gemistos Johannes Pagus Albertus Magnus David Albert Huffman Frederick Emmons Terman John Ralph Ragazzini Iowa State 1944 Oslo 1924 CalTech 1940 (M.S.) ??? 1380, 1393 ??? ??? MIT 1953 MIT 1924 Columbia 1941 Erich J. Neuhold Joseph Andrew Konstan TU Wien 1967 UC Berkeley 1993 Willis Laurens Emery Marshall Hall, Jr. Gerald Estrin Guarino da Verona Basilios Bessarion Petrus Ferrandi (Peter of Spain) Hispanus Richard Yerkes Kain Joseph Mayo Pettit Lofti A. Zadeh Iowa State 1947 Yale 1936 UW-Madison 1951 1408 Mystras 1436 Université de Paris MIT 1962 Stanford 1942 Columbia 1949 Antonio Borsellino Patrick Baudisch ??? TU Darmstadt 2001 Sundaram Seshu Donald Ervin Knuth Grace Murray Hopper David Frederic Martin Vittorino da Feltre Johannes Argyropoulos John Duns Scotus Arvind Donald Oscar Pederson Pravin Pratap Varaiya Illinois 1955 CalTech 1963 Yale 1934 UCLA 1966 Padua 1416 Padua 1444 (Th.D.) Université de Paris Minnesota 1973 Stanford 1951 UC Berkeley 1966 Tomaso A. Poggio Stefanie Mueller Genoa 1970 Hasso Plattner Institute 2016 Gernot Albert Metze Vaughan Ronald Pratt David Andrew Patterson Marsilio Ficino Cristoforo Landino William of Ockham Greg M. Papadopoulos Arthur Richard Newton Robert David Middlebrook Jean Camille Walrand Illinois 1958 Stanford 1972 UCLA 1976 Florence 1462 (M.A.) ??? Oxford 1321 (unfinished) MIT 1988 UC Berkeley 1978 Stanford 1955 UC Berkeley 1979 Edward Steinberg Davidson Leonidas John (Ioannis) Guibas Christoforos Christos Kozyrakis Theodoros Gazes Srinivas Devadas Carver Andress Mead Nicholas Bambos Illinois 1968 Stanford 1976 UC Berkeley 2002 Nicole Oresme Angelo Poliziano Geert Garardus Magnus Groote Constantinople UC Berkeley 1988 CalTech 1960 UC Berkeley 1989 ??? Florence 1477 (M.A.) Deventer Mantua 1433 (M.A.) Joel S. Emer Justin Solomon Daniel Sanchez John Charles Wawrzynek Balaji Prabhakar Illinois 1979 Stanford 2015 Stanford 2012 Demetrios Chalcocondyles Heinrich von Langenstein CalTech 1987 UCLA 1994 Jean Tagault Leo Outers Moses Perez Scipione Fortiguerra Florentius Radewyn Mystras Université de Paris 1363 (M.A.) ??? Université Catholique de Louvain 1485 (Th.D.) ??? Florence 1493 (M.A.) Deventer Accademia Romana 1452 (M.A.) Université de Paris 1375 (Th.D.) Krste Asanovic Mohammad Alizadeh UC Berkeley 1998 Stanford 2013 Girolamo (Hieronymus Aleander) Aleandro Sigismondo Polcastro Janus Lascaris Francois Dubois Maarten (Martinus Dorpius) van Dorp Rudolf Agricola Johannes von Gmunden Thomas von Kempen à Kempis Jacob ben Jehiel Loans Padua 1499 (M.A.) ??? Padua 1472 (M.A.) Université de Paris 1516 (M.A.) Université Catholique de Louvain 1504, 1515 Ferrara 1478 (M.A.) Wien 1406 (M.A.) Deventer ??? Padua 1508 (Th.D.) Devavrat Shah Stanford 2004 Jan Standonck Jacobus (Jacques Dubois) Sylvius Johann (Johannes Kapnion) Reuchlin Gaetano da Thiene Petrus (Pieter de Corte) Curtius Rutger Rescius Alexander Hegius Georg von Peuerbach Johannes Stöffler Matthaeus Adrianus Collège Sainte-Barbe 1474 (M.A.) Université de Paris 1530 (M.A.) Basel 1477 (M.A.) ??? Université Catholique de Louvain 1513, 1530 Université de Paris 1513 (A.B.) 1474 Wien 1440 (M.A.) Ingolstadt 1476 (M.A.) Collège de Montaigu 1490 (Th.D.) Montpellier (M.D.) Université de Poitiers 1481 (J.U.D.) Jan (Johannes Campensis) van Campen Johannes Winter von Andernach Desiderius Erasmus Johannes (Johann Mueller) Regiomontanus Philipp Melanchthon Pietro Roccabonella Jacobus (Jacques Masson) Latomus Gemma (Jemme Reinerszoon) Frisius Georgius Hermonymus Luca Pacioli Ulrich Zasius Balthasar Kaeuffelin Université Catholique de Louvain Université Catholique de Louvain 1527 (M.A.) Collège de Montaigu 1497 (Th.B.) Leipzig Heidelberg 1511 (B.A.) Padua (M.D.) Collège de Montaigu 1502 Université Catholique de Louvain 1529, 1536 ??? ??? Freiburg 1501 (LL.D.) Tübingen 1521 (Th.D.) Ingolstadt 1519 Collège de Tréguier 1532 (M.D.) Torino 1506 (D.D.) Wien 1457 (M.A.) Tübingen 1514 (M.A.) Guillaume Bude Andreas (Andries van Wesel) Vesalius Jacques (Jacobus Faber) Lefevre d’Etaples Jakob Milich Wolfgang Fabricius Capito Simon Grynaeus Niccolo Leoniceno Nicolas (Nicolaes Cleynaerts) Clenard Bonifazius Erasmi Domenico Maria Novara da Ferrara Leonhard (Leonard Vitreatoris z Dobczyc) von Dobschütz Jakob Beuerlin Elijah ben Asher Levita Université d’Orleans 1486 Université Catholique de Louvain Université de Paris Freiburg 1420 (A.L.M.) Ingolstadt 1506 (M.A.) Tübingen 1511 (M.A.) Padua 1453 Université Catholique de Louvain 1515, 1521 Wittenberg 1509 (M.A.) Florence 1483 Uniwersytet Jagiellonski 1489 (M.A.) Tübingen 1551 (Th.D.) ??? Université de Paris 1491 (M.A.) Padua 1537 Accademia Romana 1480 Wien 1524 (M.D.) Freiburg 1515 (Th.D.) Wittenberg 1523 (Th.D.) Nicolaus (Mikolaj Kopernik) Copernicus Andrea Alciati Bologna Simon Sulzer Paul (Paul Büchlein) Fagius Antonio Musa Brasavola Johannes (Johann Sturm) Sturmius Melchior Wolmar Matteo Realdo (Renaldus Columbus) Colombo Jacques Toussain Erasmus Reinhold Johannes Volmar Jacob Andreae François Vatable Pavia Padua Collège Saint-Guillaume à Strasbourg 1531 (M.A.) Heidelberg 1527 (M.A.) Robert Peer Siskind Ferrara 1520 Université Catholique de Louvain 1527 Université de Paris 1528 Padua 1544 Université de Paris 1521 (M.A.) Wittenberg 1535 (M.A.) Wittenberg 1515 (M.A.) Tübingen 1553 (Th.D.) Paris 1511/1513 (M.A.) Bologna 1518 (J.D.) Uniwersytet Jagiellonski Basel 1532 (M.A.) Collège Saint-Guillaume à Strasbourg 1537 (Th.D.) Harvard 1925 (S.M.) Ferrara 1499 (J.U.D.) CSAIL Academic Genealogy Sheldon Shou-Lien Chang Based on data from the Mathematics Genealogy Project (NDSU, AMS) and other sources Johannes Caselius Purdue 1947 Franciscus (Francois Gomaer) Gomarus Johannes Calvin Gabriele Falloppio Thomas Cranmer Valentine Naibod Johann Jacob Grynaeus Raoul (Rodolphus Cavellerius) le Chevalier Petrus (Pierre de La Ramee) Ramus Guillaume Rondelet Johannes Hommel Georg Joachim von Leuchen Rheticus Adrien Turnebe Wittenberg CSAIL PIs (as of 2017-07) are outlined in CSAIL orange Collège Saint-Guillaume à Strasbourg 1580 Université d’Orléans 1529 Padua Cambridge 1515 (M.A.) Wittenberg Basel 1559 (M.A.) Collège de France Collège de Navarre 1536 Université de Paris (M.D.) Wittenberg 1543 Wittenberg 1535 (M.A.) Collège de France 1532 (M.A.) Leipzig 1560 Heidelberg 1594 Université de Bourges 1531 (J.D.) Ferrara 1547 Cambridge 1526 (D.D.) Universität Erfurt (M.A.) Tübingen 1564 (Th.D.) Oxford (M.A.) Former CSAIL, AI, and LCS PIs are outlined in CSAIL grey Pisa 1566 (Not all former PIs are shown, and some non-PIs may be misidentified. Teaching relationships become less formal towards the apex. Kenneth Steiglitz Years shown for recent students are for the degree list, not the commencement exercises, which may have taken place the following year.) NYU 1963 $Id: csail.dot 1221 2017-07-07 17:58:40Z wollman $ Theodor Zwinger Immanuel Tremellius François Du Jon, Sr. Theodorus (Theodore de Beze) Beza Hieronymus (Girolamo Fabrici d’Acquapendente) Fabricius Valentin Thau Sebastian (Theodoricus) Dietrich Caspar Peucer Joseph Justus Scaliger Sebastian Beck Johannes (van den Driesche) Drusius Collège de France Cambridge 1549 ??? Université d’Orleans 1534, 1539 Padua 1559 Leipzig 1555 Wittenberg 1544 Wittenberg 1545 Collège de France 1563 (M.A.) Basel 1610 (Th.D.) Cambridge 1572 (M.A.) Padua 1559 Heidelberg 1561 (Th.D.) Christos H. Papadimitriou Princeton 1976 Johannes (Johan van Heurne) Heurnius Tycho (Tyge Ottesen) Brahe Johannes Polyander van Kerckhoven Henricus Brucaeus Rudolph (Snel van Royen) Snellius Paul Wittich Salomon Alberti Gisbertus Voetius John Craig Collège de France Copenhagen Ludolph van Ceulen Thomas Erpenius Theodor Zwinger, Jr. Constantinos (Costis) Daskalakis Heidelberg 1589 Collège de France 1554 (A.Lib.M.) Cologne Leipzig Wittenberg 1564 Leiden 1611 Basel 1580 Padua 1566 (Ph.M.) Leipzig 1562 ??? Leiden 1608 (A.L.M.) Basel 1630 (Th.D.) UC Berkeley 2008 Geneva 1590 Bologna 1560 (M.D.) Heidelberg 1572 (A.L.M.) Wittenberg 1566 Padua 1574 Pavia 1571 (M.D.) Wittenberg 1565 Duncan Lidell Antonius Thysius Jan Jessenius Pieter (Petrus Pavius) Pauw Jacobus (Jacob Harmensz.) Arminius William Harvey Universität Viadrina Frankfurt an der
Load more

Recommended publications
  • Copyright by CLP Research 1600 1700 1750
    Spencer Compton 1600Copyright by CLP Research (1601-43) (2d Earl of Northampton); (Royalist/KIA fighting for King Charles I) Main Political Affiliation: Partial Genealogy of the Comptons = Mary Beaumont (1604-54) (of Ohio) 9 Others William Compton I 1763-83 Whig/Revolutionary (1622-94) 1789-1823 Republican (Emigrated from Northamptonshire, England to Long Island, New York, 1647); (moved to Middlesex co. New Jersey) 1824-33 National Republican = Mary Wilmot (1635-1713) See Wilmot of PA 1834-53 Whig 6 Others William Compton II Genealogy 1854- Republican (1649-1709) 1650 (born Long Island, New York); (moved to Middlesex co. New Jersey, then Monmouth co. NJ) = Mary Brown (1653-84) 9 Others Richard Compton (1667-1710); (merchant-store/farmer) = Providence Isselstyne (1664-1702) 6 Others Isselstyne Compton (1694-1763) 1700 = Orchie Altje Blaaw (1700-30) 7 Others Azariah Compton (1738-1825) (Rev War/Yorktown) = Margaret Mary Burlu 1750 (1760?-at least 1811) 7 Others Elias Compton (1788-1864); (farmer) (born Rosemont, Hunterdon co. NJ); (moved to Hamilton co. Ohio, 1816) Catheryne Die = = Bathsheba Hill 1800 (1790s?-1813) (1790-1832) 2 SonsWilson Martindale Compton 5 Others (1828-1908); (farmer) (born Springfield, Hamilton co. OH) = Elizabeth Hunt (1832-at least 1880) Rev. Elias Compton 4 Others 1850 (1856-at least 1927) (Wooster University professor of philosophy; dean) = Otelia Catheryne Augspurger (1858-1944) Dr. Karl Taylor Compton Dr. Wilson Martindale Comton 1 Daughter Arthur Holly Compton (1887-1954); (PhD/physics) (1890-1967); (PhD/physics) (1892-1962); (PhD/physics) (born Wooster, Wayne co. OH) (born Wooster, Wayne co. OH) (born Wooster, Wayne co. OH); (moved to Chicago, Cook co.
    [Show full text]
  • Reflexive Interpreters 1 the Problem of Control
    Reset reproduction of a Ph.D. thesis proposal submitted June 8, 1978 to the Massachusetts Institute of Technology Electrical Engineering and Computer Science Department. Reset in LaTeX by Jon Doyle, December 1995. c 1978, 1995 Jon Doyle. All rights reserved.. Current address: MIT Laboratory for Computer Science. Available via http://www.medg.lcs.mit.edu/doyle Reflexive Interpreters Jon Doyle [email protected] Massachusetts Institute of Technology, Artificial Intelligence Laboratory Cambridge, Massachusetts 02139, U.S.A. Abstract The goal of achieving powerful problem solving capabilities leads to the “advice taker” form of program and the associated problem of control. This proposal outlines an approach to this problem based on the construction of problem solvers with advanced self-knowledge and introspection capabilities. 1 The Problem of Control Self-reverence, self-knowledge, self-control, These three alone lead life to sovereign power. Alfred, Lord Tennyson, OEnone Know prudent cautious self-control is wisdom’s root. Robert Burns, A Bard’s Epitath The woman that deliberates is lost. Joseph Addison, Cato A major goal of Artificial Intelligence is to construct an “advice taker”,1 a program which can be told new knowledge and advised about how that knowledge may be useful. Many of the approaches towards this goal have proposed constructing additive formalisms for trans- mitting knowledge to the problem solver.2 In spite of considerable work along these lines, formalisms for advising problem solvers about the uses and properties of knowledge are rela- tively undeveloped. As a consequence, the nondeterminism resulting from the uncontrolled application of many independent pieces of knowledge leads to great inefficiencies.
    [Show full text]
  • The Vienna University Observatory
    The Vienna University Observatory THOMAS POSCH Abstract The Vienna University Observatory, housing what was once the world’s largest refracting telescope, still serves as a centre of astronomical research and teaching. In 1819, Johann Josef von Littrow (1781-1840) became Professor of Mathematics and Astronomy at the University of Vienna. He tried to move the University Observatory - which was at that time still located at the city centre - to the outskirts, but did not succeed. After his death, his son Carl Ludwig von Littrow (1811-1877) became director of the Observatory. The total solar eclipse which took place on July 8, 1842, in his first year as director, made astronomy very popular and helped promote new investment. In 1872, a large site was acquired for a new observatory on a hill called "Türkenschanze", near the village of Währing outside Vienna. Building began in 1874. The architects of the imposing new building were Ferdinand Fellner and Hermann Helmer, both specialists in theatre buildings. Their concept was to combine observatory and apartments on a cross-shaped plan, which was unusually large for its day; 101 m length and 73 m width. The big refractor telescope (with an aperture of 27 inches, or 68 cm and a focal length of 10.5 m) was then the largest refracting telescope in the world. The celebratory opening took place in 1883. The excellent instrumentation made possible numerous remarkable Fig. 1 - Georg von Peuerbach’s ‘Theoricae novae planetarum’, discoveries in the fields of binary stars, Nuremberg 1473 asteroids and comets. However, the Währing district quickly became attractive to the Viennese upper classes and the observatory was soon part of an illuminated urban area.
    [Show full text]
  • The Legacy of Mildred Dresselhaus, the Queen of Carbon
    The legacy of Mildred Dresselhaus, the Queen of Carbon Zeila Zanolli RWTH Aachen June 7, 2017 - ETSF Young Researchers Meeting, Tarragona Mildred Dresselhaus Laid the foundations for C nanotechnology: Pioneer of experimental techniques to study 2D materials Predicted the possibility and characteristics of CNTs (band structure, …) Low-dimensional thermolectrics: model of thermal transport in nanostructures, energy materials, electronic properties, phonons, electron-phonon interactions, … Her work has been crucial for developing lithium-ion batteries, electronic devices, renewable-energy generators, … [email protected] Millie: Institute Professor at MIT > 1700 publications h-index 135 > 25 prestigious awards 28 honorary doctorates Supervised >60 PhD 57 years at MIT [email protected] How did she started? [email protected] Millie: a tale of persistence 1930: born in Brooklyn lived in the Bronx family of immigrants, quite poor during the Great Depression 1936 ( 6 y): got a scholarship for a Music school and heard about the Hunter College “My teachers didn’t think it was possible to get in. But Hunter sent me a practice exam, and I studied what I needed to know to pass the exam.” at Hunter, Rosalyn Yalow (future Nobel laureate) encouraged Millie in pursuing a scientific career. 1951 (21 y): Bachelor, Hunter College, New York [email protected] Millie as Young Researcher 1953 (23 y): MA, Radcliffe College on a Fulbright Fellowship, Cambridge (MA) & Harvard 1958 (28 y): PhD, University of Chicago on the properties of superconductors in a magnetic field. Daily chats with E. Fermi. “My nominal thesis adviser told me in 1955 that women had no place in physics” I told him that I was not expecting to have others show interest in my work.
    [Show full text]
  • A Critique of Abelson and Sussman Why Calculating Is Better Than
    A critique of Abelson and Sussman - or - Why calculating is better than scheming Philip Wadler Programming Research Group 11 Keble Road Oxford, OX1 3QD Abelson and Sussman is taught [Abelson and Sussman 1985a, b]. Instead of emphasizing a particular programming language, they emphasize standard engineering techniques as they apply to programming. Still, their textbook is intimately tied to the Scheme dialect of Lisp. I believe that the same approach used in their text, if applied to a language such as KRC or Miranda, would result in an even better introduction to programming as an engineering discipline. My belief has strengthened as my experience in teaching with Scheme and with KRC has increased. - This paper contrasts teaching in Scheme to teaching in KRC and Miranda, particularly with reference to Abelson and Sussman's text. Scheme is a "~dly-scoped dialect of Lisp [Steele and Sussman 19781; languages in a similar style are T [Rees and Adams 19821 and Common Lisp [Steele 19821. KRC is a functional language in an equational style [Turner 19811; its successor is Miranda [Turner 1985k languages in a similar style are SASL [Turner 1976, Richards 19841 LML [Augustsson 19841, and Orwell [Wadler 1984bl. (Only readers who know that KRC stands for "Kent Recursive Calculator" will have understood the title of this There are four language features absent in Scheme and present in KRC/Miranda that are important: 1. Pattern-matching. 2. A syntax close to traditional mathematical notation. 3. A static type discipline and user-defined types. 4. Lazy evaluation. KRC and SASL do not have a type discipline, so point 3 applies only to Miranda, Philip Wadhr Why Calculating is Better than Scheming 2 b LML,and Orwell.
    [Show full text]
  • The Evolution of Lisp
    1 The Evolution of Lisp Guy L. Steele Jr. Richard P. Gabriel Thinking Machines Corporation Lucid, Inc. 245 First Street 707 Laurel Street Cambridge, Massachusetts 02142 Menlo Park, California 94025 Phone: (617) 234-2860 Phone: (415) 329-8400 FAX: (617) 243-4444 FAX: (415) 329-8480 E-mail: [email protected] E-mail: [email protected] Abstract Lisp is the world’s greatest programming language—or so its proponents think. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Overall, the evolution of Lisp has been guided more by institutional rivalry, one-upsmanship, and the glee born of technical cleverness that is characteristic of the “hacker culture” than by sober assessments of technical requirements. Nevertheless this process has eventually produced both an industrial- strength programming language, messy but powerful, and a technically pure dialect, small but powerful, that is suitable for use by programming-language theoreticians. We pick up where McCarthy’s paper in the first HOPL conference left off. We trace the development chronologically from the era of the PDP-6, through the heyday of Interlisp and MacLisp, past the ascension and decline of special purpose Lisp machines, to the present era of standardization activities. We then examine the technical evolution of a few representative language features, including both some notable successes and some notable failures, that illuminate design issues that distinguish Lisp from other programming languages. We also discuss the use of Lisp as a laboratory for designing other programming languages. We conclude with some reflections on the forces that have driven the evolution of Lisp.
    [Show full text]
  • Laws of Wages
    LAWS OF WAGES AN ESSAY IN STATISTICAL ECONONICS By Henry Ludwell Moore Economic Cycles Their Law & Cause [1914] Forecasting The Yield & The Price Of Cotton [1917] Generating Economic Cycles [1923] HENRY LUDWELL MOORE Synthetic Economics [I9291 PROFESSOR OF POLITICAL ECONOMY IN COLUMBIA UNIVERSITY 6c I1 progress0 dell' Economia politica dipenderh pel futuro in gran parte dalla ricerca di leggi em- piriche, ricavate dalla statistica, e che si parago- neranno poi colle leggi teoriche note, o che ne faranno conoscere di nuove." PARETO. New Pork: The Mecmillan Company, 1911 TO JOHN BATES CLARK IN ADMIRATION AND AFFECTION I DEDICATE THIS ESSAY CONTENTS PAGE Introduction . 1 CHAPTER I STATISTICAL LAWS A Scatter Diagram . 11 Definition of Terms . 15 Characteristics of Statistical Laws . , . 21 CHAPTER I1 WAGES, MEANS OF SUBSISTENCE, AND THE STANDARD OF LIFE Description of Data . 26 Wages and the Means of Subsistence . 29 Wages and the Standard of Life . 33 Wages of Skilled and of Unskilled Laborers . 39 CHAPTER I11 WAGES AND THE PRODUCTIVITY OF LABOR Description of Data . 45 Fluctuations in the Rate of Wages and in the Value of the Product . , . 46 Fluctuations in the Laborer's Relative Share of the Product and in the Ratio of Capital to Labor . 55 The General Trend of Wages . 61 vii Contents CHAPTER IV WAGES AND ABILITY PAGE An Hypothesis as to the Distribution of Ability. 74 Grounds for the Hypothesis . 76 The Expression of the Gaussian Law in a Form that will facili- tate the Testing of the Differential Theory of Wages . 78 The Standard Population . , . 82 The Application of the Theory of the Standard Population .
    [Show full text]
  • Performance Engineering of Proof-Based Software Systems at Scale by Jason S
    Performance Engineering of Proof-Based Software Systems at Scale by Jason S. Gross B.S., Massachusetts Institute of Technology (2013) S.M., Massachusetts Institute of Technology (2015) Submitted to the Department of Electrical Engineering and Computer Science in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY February 2021 © Massachusetts Institute of Technology 2021. All rights reserved. Author............................................................. Department of Electrical Engineering and Computer Science January 27, 2021 Certified by . Adam Chlipala Associate Professor of Electrical Engineering and Computer Science Thesis Supervisor Accepted by . Leslie A. Kolodziejski Professor of Electrical Engineering and Computer Science Chair, Department Committee on Graduate Students 2 Performance Engineering of Proof-Based Software Systems at Scale by Jason S. Gross Submitted to the Department of Electrical Engineering and Computer Science on January 27, 2021, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract Formal verification is increasingly valuable as our world comes to rely more onsoft- ware for critical infrastructure. A significant and understudied cost of developing mechanized proofs, especially at scale, is the computer performance of proof gen- eration. This dissertation aims to be a partial guide to identifying and resolving performance bottlenecks in dependently typed tactic-driven proof assistants like Coq. We present a survey of the landscape of performance issues in Coq, with micro- and macro-benchmarks. We describe various metrics that allow prediction of performance, such as term size, goal size, and number of binders, and note the occasional surprising lack of a bottleneck for some factors, such as total proof term size.
    [Show full text]
  • Academic Genealogy of the Oakland University Department Of
    Basilios Bessarion Mystras 1436 Guarino da Verona Johannes Argyropoulos 1408 Università di Padova 1444 Academic Genealogy of the Oakland University Vittorino da Feltre Marsilio Ficino Cristoforo Landino Università di Padova 1416 Università di Firenze 1462 Theodoros Gazes Ognibene (Omnibonus Leonicenus) Bonisoli da Lonigo Angelo Poliziano Florens Florentius Radwyn Radewyns Geert Gerardus Magnus Groote Università di Mantova 1433 Università di Mantova Università di Firenze 1477 Constantinople 1433 DepartmentThe Mathematics Genealogy Project of is a serviceMathematics of North Dakota State University and and the American Statistics Mathematical Society. Demetrios Chalcocondyles http://www.mathgenealogy.org/ Heinrich von Langenstein Gaetano da Thiene Sigismondo Polcastro Leo Outers Moses Perez Scipione Fortiguerra Rudolf Agricola Thomas von Kempen à Kempis Jacob ben Jehiel Loans Accademia Romana 1452 Université de Paris 1363, 1375 Université Catholique de Louvain 1485 Università di Firenze 1493 Università degli Studi di Ferrara 1478 Mystras 1452 Jan Standonck Johann (Johannes Kapnion) Reuchlin Johannes von Gmunden Nicoletto Vernia Pietro Roccabonella Pelope Maarten (Martinus Dorpius) van Dorp Jean Tagault François Dubois Janus Lascaris Girolamo (Hieronymus Aleander) Aleandro Matthaeus Adrianus Alexander Hegius Johannes Stöffler Collège Sainte-Barbe 1474 Universität Basel 1477 Universität Wien 1406 Università di Padova Università di Padova Université Catholique de Louvain 1504, 1515 Université de Paris 1516 Università di Padova 1472 Università
    [Show full text]
  • Arthur Holly Compton
    Arthur Holly Compton ALSO LISTED IN Physicists ALSO KNOWN AS Arthur Holly Compton FAMOUS AS Nobel Prize Laureate in Physics NATIONALITY American Famous American Men RELIGION Baptist BORN ON 10 September 1892 AD Famous 10th September Birthdays ZODIAC SIGN Virgo Virgo Men BORN IN Wooster, Ohio, USA DIED ON 15 March 1962 AD PLACE OF DEATH Berkeley, California, USA FATHER Elias Compton MOTHER Otelia Catherine SIBLINGS Karl Taylor Compton, Wilson Martindale Compton SPOUSE: Betty Charity McCloskey CHILDREN Arthur Allen Compton, John Joseph Compton EDUCATION University of Cambridge, The College of Wooster, Princeton University DISCOVERIES / INVENTIONS Compton Effect AWARDS: Nobel Prize for Physics (1927) Matteucci Medal (1930) Franklin Medal (1940) Hughes Medal (1940) Arthur Holly Compton was a renowned American physicist who first rose to fame with his famous revolutionary discovery of the Compton Effect for which he also won the Nobel Prize in Physics. This discovery confirmed the dual nature of electromagnetic radiation as both a wave and a particle. Thomson was initially interested in astronomy before he shifted his focus to the study of quantum physics. He started his research in Cavendish Laboratory of Cambridge University and this research led to the discovery of Compton Effect. Later on, during the Second World War, Compton became head of the Manhattan Project’s Metallurgical Laboratory. Manhattan Project developed the first nuclear weapons of the world and Compton played a key role in it. He also served as Chancellor of Washington University in St. Louis. Under his leadership, the University made remarkable academic progress; the university formally desegregated its undergraduate divisions, named its first female full professor, and enrolled a record number of students.
    [Show full text]
  • Mathematical Genealogy of the Wellesley College Department Of
    Nilos Kabasilas Mathematical Genealogy of the Wellesley College Department of Mathematics Elissaeus Judaeus Demetrios Kydones The Mathematics Genealogy Project is a service of North Dakota State University and the American Mathematical Society. http://www.genealogy.math.ndsu.nodak.edu/ Georgios Plethon Gemistos Manuel Chrysoloras 1380, 1393 Basilios Bessarion 1436 Mystras Johannes Argyropoulos Guarino da Verona 1444 Università di Padova 1408 Cristoforo Landino Marsilio Ficino Vittorino da Feltre 1462 Università di Firenze 1416 Università di Padova Angelo Poliziano Theodoros Gazes Ognibene (Omnibonus Leonicenus) Bonisoli da Lonigo 1477 Università di Firenze 1433 Constantinople / Università di Mantova Università di Mantova Leo Outers Moses Perez Scipione Fortiguerra Demetrios Chalcocondyles Jacob ben Jehiel Loans Thomas à Kempis Rudolf Agricola Alessandro Sermoneta Gaetano da Thiene Heinrich von Langenstein 1485 Université Catholique de Louvain 1493 Università di Firenze 1452 Mystras / Accademia Romana 1478 Università degli Studi di Ferrara 1363, 1375 Université de Paris Maarten (Martinus Dorpius) van Dorp Girolamo (Hieronymus Aleander) Aleandro François Dubois Jean Tagault Janus Lascaris Matthaeus Adrianus Pelope Johann (Johannes Kapnion) Reuchlin Jan Standonck Alexander Hegius Pietro Roccabonella Nicoletto Vernia Johannes von Gmunden 1504, 1515 Université Catholique de Louvain 1499, 1508 Università di Padova 1516 Université de Paris 1472 Università di Padova 1477, 1481 Universität Basel / Université de Poitiers 1474, 1490 Collège Sainte-Barbe
    [Show full text]
  • George P. Merrill Collection, Circa 1800-1930 and Undated
    George P. Merrill Collection, circa 1800-1930 and undated Finding aid prepared by Smithsonian Institution Archives Smithsonian Institution Archives Washington, D.C. Contact us at [email protected] Table of Contents Collection Overview ........................................................................................................ 1 Administrative Information .............................................................................................. 1 Historical Note.................................................................................................................. 1 Descriptive Entry.............................................................................................................. 2 Names and Subjects ...................................................................................................... 3 Container Listing ............................................................................................................. 4 Series 1: PHOTOGRAPHS, CORRESPONDENCE AND RELATED MATERIAL CONCERNING INDIVIDUAL GEOLOGISTS AND SCIENTISTS, CIRCA 1800-1920................................................................................................................. 4 Series 2: PHOTOGRAPHS OF GROUPS OF GEOLOGISTS, SCIENTISTS AND SMITHSONIAN STAFF, CIRCA 1860-1930........................................................... 30 Series 3: PHOTOGRAPHS OF THE UNITED STATES GEOLOGICAL AND GEOGRAPHICAL SURVEY OF THE TERRITORIES (HAYDEN SURVEYS), CIRCA 1871-1877..............................................................................................................
    [Show full text]