blerner.github.io/genealogy.html at main · blerner/blerner.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  <head>
<!--#include file="ssi/head.ssi"-->
  </head>

  <body>
    <!--#set var="page" value="personal"-->
    <!--#set var="subpage" value="genealogy"-->
    <!--#include file="ssi/body.ssi"-->
    <h2>Academic Genealogy</h2>
    <p>In some social circles, it is quite the
      achievement to be able to cite one's ancestry as far
      back as the Domesday Book, or through patronymics and clan
      affiliations, as a way of grounding one's place in
      society.  In academia, our genealogies are slightly less
      well known, but no less impressive.  Here then, is
      nearly four hundred years of my pedagogical
      pedigree. Perhaps you, fellow thinker, are a closer
      relative than you knew.</p>
    <ul>
      <li>Ben Lerner</li>
      <li><a
             href="http://www.cs.washington.edu/homes/djg/">Dan
          Grossman</a> (2003)</li>
      <li><a href="http://www.eecs.harvard.edu/~greg/">Greg
          Morrisett</a> (1995)</li>
      <li><a href="http://www.cs.cmu.edu/%7Erwh/">Bob
          Harper</a> (1985)</li>
      <li><a
             href="http://www.cs.cornell.edu/Info/People/rc/">Robert Constable</a> (1968)</li>
      <li><a
             href="http://history.math.csusb.edu/Mathematicians/Kleene.html">Stephen Kleene</a> (1934)</li>
      <li><a href="http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html">Alonzo Church</a> (1927)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=805">Oswald Veblen</a> (1903)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=806">Eliakim Hastings Moore</a> (1885)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=7865">Hubert Anson Newton</a> (1850)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=26995">Michel Chasles</a> (1814)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=17865">Simeon Denis Poisson</a> (<i>unknown</i>)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=17864">Joseph Lagrange</a> (<i>none</i>)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=38586">Leonhard Euler</a> (1726)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=53410">Johann Bernoulli</a> (1694)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=54440">Jacob Bernoulli</a> (<i>unknown</i>)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=60985">Gottfried Leibniz</a> (1666)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=60984">Erhard Weigel</a> (1650)</li>
    </ul>
    <p>There is an alternative history for a middle portion of
      this list:  Greg Morrisett was co-advised by Jeannette
      Wing:</p>
    <ul>
      <li><a href="http://www-2.cs.cmu.edu/~wing/">Jeannette Wing</a> (1983)</li>
      <li><a href="http://www.sds.lcs.mit.edu/~guttag/">Jon Guttag</a> (1975)</li>
      <li><a href="http://www.horning.net/">Jim Horning</a> (1969)</li>
      <li><a href="http://www.icsi.berkeley.edu/~feldman/">Jerry Feldman</a> (1966)</li>
      <li><a href="http://www.genealogy.ams.org/html/id.phtml?id=13112">Alan Perlis</a> (1950)</li>
      <li><a
             href="http://www.genealogy.ams.org/html/id.phtml?id=1488">Philip
          Franklin</a> (1921)</li>
    </ul>
    <p>Franklin, in turn, was another student of Oswald Veblen.</p>
    <p>Information is collated from the <a
                                           href="http://www.csc.ncsu.edu/faculty/xie/sefamily.htm">Software Engineering Academic Genealogy</a> and the <a href="http://www.genealogy.ams.org/index.html">Mathematics Genealogy Project</a>.</p>
    <h2>Erd&ouml;s Number</h2>
    <p>The <a
              href="http://en.wikipedia.org/wiki/Erd%C5%91s_number"
              title="Erd&ouml;s number">Erd&ouml;s number</a> is defined
      as the number of published, technical papers necessary to
      connect oneself to Paul Erd&ouml;s by some path of
      co-authorship.  Currently, my Erd&ouml;s number is at most
      5:
    </p>
    <ul>
      <li>Ben Lerner to <a
			   href="http://www.cs.washington.edu/homes/djg/">Dan
          Grossman</a> <br/>(via "Searching for Type-Error
        Messages", PLDI 2007)</li>
      <li>Dan Grossman to <a
			     href="http://www.cs.washington.edu/homes/notkin/">David
          Notkin</a> <br/>(via "Automatically Inferring Structural
        Changes for Matching Across Program Versions",
        ICSE 2007)</li>
      <li>David Notkin to <a
			     href="http://www.cs.washington.edu/homes/beame/">Paul
          Beame</a> <br/>(via "Model Checking Large Software
        Specifications", FSE 1996)</li>
      <li>Paul Beame to <a
			   href="http://www.cs.toronto.edu/~molloy/">Michael
          Molloy</a> <br/>(via "A Sharp Threshold in Proof
        Complexity", STOC 2001)</li>
      <li>Michael Molloy to <a
			       href="http://en.wikipedia.org/wiki/Paul_Erd%C5%91s">Paul
          Erd&ouml;s</a> <br/>(via "On a Ramsey-type Problem",
        Journal of Graph Theory, 2002)</li>
    </ul>
    <!--#include file="ssi/footer.ssi"-->
    </div>
  </body>
</html>