The following is an academic genealogy

Academic genealogy

An academic, or scientific, genealogy, organizes a family tree of scientists and scholars according to dissertation supervision relationships....

 of computer scientists and is constructed by following the pedigree of thesis advisors.

France

Many French computer scientists worked at the National Institute for Research in Computer Science and Control (INRIA).

• Marcel-Paul Schützenberger
  Marcel-Paul Schützenberger
  Marcel-Paul "Marco" Schützenberger was a French mathematician and Doctor of Medicine. His work had impact across the fields of formal language, combinatorics, and information theory...
  
  
  • Maurice Nivat
    Maurice Nivat
    Maurice Paul Nivat is a French computer scientist. His research spans the areas of formal languages, programming language semantics and discrete geometry. A 2006 citation for an honorary doctorate called Nivat one of the fathers of theoretical computer science...
    
    
    • Philippe Flajolet
      Philippe Flajolet
      Philippe Flajolet was a French computer scientist.A former student of École Polytechnique, Philippe Flajolet received his Ph.D. in computer science from University Paris Diderot in 1973 and state doctorate from Paris-Sud 11 University in 1979...
      
      
    • Gérard Huet
      Gérard Huet
      Gérard Pierre Huet is a French computer scientist.- Biography :Gérard Huet graduated from the Université Denis Diderot , Case Western Reserve University, and the Université de Paris....
      
      
      • Francois Fages
      • Thierry Coquand
        Thierry Coquand
        Thierry Coquand is a professor in computer science at the University of Gothenburg, Sweden. He is known for his work in constructive mathematics, especially the calculus of constructions. He received his Ph.D. under the supervision of Gérard Huet.- External links :*...
        
        
        • Hugo Herbelin
      • Xavier Leroy
        Xavier Leroy
        Xavier Leroy is a French computer scientist and programmer. He is best known for his role as a primary developer of the Objective Caml system...
        
        
      • Christine Paulin-Mohring
      • Didier Rémy
        • François Pottier
    • Bruno Courcelle
  • Louis Nolin
    • Bernard Robinet
      • Emmanuel Saint-James
      • Olivier Danvy
        Olivier Danvy
        Olivier Danvy is a French computer scientist specializing in programming languages, partial evaluation, and continuations at the University of Aarhus in Denmark.He is notable for the number of scientific papers which acknowledge his help...
        
         (Secondary advisor: Emmanuel Saint-James)
  • Jean-François Perrot
    • Jacques Sakarovitch
    • Jean-Eric Pin
      • Pascal Weil

• Gérard Berry
  Gérard Berry
  Gérard Philippe Berry is a French computer scientist, member of French Academy of Sciences , French Academy of Technologies , and Academia Europaea. He was the Chief Scientist Officer of Esterel Technologies from 2000 to 2009...
  
  

• Gilles Kahn
  Gilles Kahn
  Gilles Kahn was a French computer scientist. He notably introduced Kahn process networks as a model for parallel processing....
  
  

• Patrick Cousot
  Patrick Cousot
  Patrick Cousot is a French computer scientist.Together with his wife Radhia, Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software, such as found in avionics...
  
  

• Alain Colmerauer
  Alain Colmerauer
  Alain Colmerauer is a French computer scientist.After completing his Ph.D. at the University of Grenoble, he spent 1967–1970 as Assistant Professor at the University of Montreal, where he created Q-Systems, one of the earliest linguistic formalisms used in the development of the TAUM-METEO machine...
  
  

Germany

• Karl Steinbuch
  Karl Steinbuch
  Dr. Karl W. Steinbuch was a German computer scientist, cyberneticist, and electrical engineer. He is one of the pioneers of the German computer science, as well as with his Lernmatrix an early pioneer of artificial neural networks...
  
  

• Kurt Mehlhorn
  Kurt Mehlhorn
  Kurt Mehlhorn is a German computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.-Education:...
  
  

• Franz Baader
  Franz Baader
  Franz Baader is a German computer scientist.He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years....
  
  

• Carl Adam Petri
  Carl Adam Petri
  Carl Adam Petri was a German mathematician and computer scientist. He was born in Leipzig.Petri nets were invented in August 1939 by Carl Adam Petri – at the age of 13 – for the purpose of describing chemicalprocesses...
  
  

• Martin Odersky
  Martin Odersky
  Martin Odersky is a German computer scientist and professor of programming methods at the EPFL. He specialises in code analysis and programming languages.In 1989 Odersky received his Ph.D...
  
  

Italy

• Corrado Böhm
  Corrado Böhm
  Corrado Böhm , Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional...
  
  
• Ugo Montanari
  • Paolo Ciancarini
  • Roberto Gorrieri
    • Nadia Busi
• Davide Sangiorgi
  Davide Sangiorgi
  Davide Sangiorgi is professor of computer science at the University of Bologna. He is the chairman of IFIP Working Group 2.2 on the formal description of programming concepts.- Selected publications :...
  
  

Van Wijngaarden / Dijkstra

Adriaan van Wijngaarden was director of the computer science department at the Centrum Wiskunde & Informatica. It was influential in the development of ALGOL 68

ALGOL 68

ALGOL 68 isan imperative computerprogramming language that was conceived as a successor to theALGOL 60 programming language, designed with the goal of a...

.

• • • • • (Secondary advisor: Guy L. Steele, Jr.
          Guy L. Steele, Jr.
          Guy Lewis Steele Jr. , also known as "The Great Quux", and GLS , is an American computer scientist who has played an important role in designing and documenting several computer programming languages.-Biography:...
          
          )
      • (Secondary advisor: Frans Kruseman Aretz)
        • (Secondary advisor: Edsger Dijkstra)
        • (Secondary advisor: Edsger Dijkstra)
        • (Secondary advisor: Frans Kruseman Aretz)
    • • (Secondary advisor: Arto K. Salomaa)
        • (Secondary advisor: Ivan Bjerre Damgård)
      • • • (Primary advisor: Christian Anton Vissers)
      • • (Secondary advisor: Johan van Benthem
          Johan van Benthem (logician)
          Johannes Franciscus Abraham Karel van Benthem is a University Professor of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University . He was awarded the Spinozapremie in 1996.He studied physics , philosophy...
          
          )
      • (Secondary advisor: Joost Kok)
    • • • (Secondary advisor: Martin Kersten)
      • (Secondary advisor: Anthony Ira Wasserman)
      • (Primary advisor: Sipke D. Fokkema)
    • • (Secondary advisor: Randy G. Goebel)
    • (Secondary advisor: Pieter Cornelis Baayen)
      • (Primary advisor: Steven Elliot Homer)
    • (Secondary advisor: Cornelis H. A. Koster
      Cornelis H. A. Koster
      Cornelis Hermanus Antonius "Kees" Koster is a professor in the Department of Informatics of the University of Nijmegen in the Netherlands....
      
      )

Brouwer / Van Dalen

Several of the students of Dirk van Dalen, a descendant of Brouwer, became the first Dutch theoretical computer scientists, which still has a strong focus on lambda calculus

Lambda calculus

In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion. The portion of lambda calculus relevant to computation is now called the untyped lambda calculus...

, rewrite systems and functional programming

Functional programming

In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state...

.

• • • • • (Primary advisor: Bob Hertzberger)
        • (Secondary advisor: Corrado Böhm
          Corrado Böhm
          Corrado Böhm , Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the theory of structured programming, constructive mathematics, combinatory logic, lambda-calculus, and the semantics and implementation of functional...
          
          )
      • • (Secondary advisor: Marc Bezem)
      • (Secondary advisor: Jan van Leeuwen)
    • • • (Secondary advisor: Johan van Benthem
          Johan van Benthem (logician)
          Johannes Franciscus Abraham Karel van Benthem is a University Professor of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University . He was awarded the Spinozapremie in 1996.He studied physics , philosophy...
          
          )
      • (Secondary advisor: Dirk van Dalen)

Edinburgh

Rod Burstall was one of the founders of the Laboratory for Foundations of Computer Science

Laboratory for Foundations of Computer Science

The Laboratory for Foundations of Computer Science is based in the School of Informatics at the University of Edinburgh, Scotland. It has an international reputation in theoretical computer science, mathematical logic and category theory.- Current :...

 at the University of Edinburgh

University of Edinburgh

The University of Edinburgh, founded in 1583, is a public research university located in Edinburgh, the capital of Scotland, and a UNESCO World Heritage Site. The university is deeply embedded in the fabric of the city, with many of the buildings in the historic Old Town belonging to the university...

.

• • • • Thomas Hildebrandt
    • Philippa Gardner
    • Alex Simpson (computer scientist)
  • • Panagiotis Manolios
  • Michael J. C. Gordon
    Michael J. C. Gordon
    Michael John Caldwell Gordon, British computer scientist .Mike Gordon led the development of the HOL theorem prover. The HOL system is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language...
    
    
    • Jeffrey Joyce
  • • David Aspinall
    • Martin Hofmann (Secondary advisor: Gordon Plotkin)
  • Thorsten Altenkirch
  • Michael Mendler (Secondary advisor: Michael P. Fourman)
  • Masahito Hasegawa

• Robin Popplestone
  Robin Popplestone
  Robin John Popplestone was a pioneer in the fields of machine intelligence and robotics. He developed the POP programming languages....
  
  

• Alan Mycroft
  Alan Mycroft
  Alan Mycroft is a reader at the University of Cambridge Computer Laboratory. He is a Fellow of Robinson College, Cambridge, where he is also director of studies for computer science.With Arthur Norman, he co-created the Norcroft C compiler...
  
  

Cambridge

Maurice Wilkes was the first head of the University of Cambridge Computer Laboratory

University of Cambridge Computer Laboratory

The Computer Laboratory is the computer science department of the University of Cambridge. As of 2007, it employs 35 academic staff, 25 support staff, 35 affiliated research staff, and about 155 research students...

• Maurice Wilkes
  • Peter Wegner
    Peter Wegner
    Peter Wegner is an American computer scientist who has made significant contributions to both the theory of object-oriented programming during 80's and to the relevance of Church-Turing thesis for empirical aspects of computer science during 90's and present. The seminal work for his previous...
    
    
    • Clement McGowan (Secondary advisor: Juris Hartmanis)
    • Daniel M. Berry (Secondary advisor: Clement McGowan)
      • Nancy Leveson
        Nancy Leveson
        Nancy G. Leveson is a leading American expert in system and software safety. She is Professor of Aeronautics and Astronautics at MIT, United States....
        
         (Secondary advisor: Anthony Ira Wasserman)

Robin Milner never did a Ph.D.

• Robin Milner
  Robin Milner
  Arthur John Robin Gorell Milner FRS FRSE was a prominent British computer scientist.-Life, education and career:...
  
  
  • Mads Tofte
    Mads Tofte
    Mads Tofte is a Danish computer scientist who has contributed in particular to Functional programming and the Standard ML programming language.In April 1999 he was appointed the first managing director of the IT University of Copenhagen...
    
    
  • Faron Moller
    Faron Moller
    Faron George Moller is a Canadian-born British computer scientist and expert on theoretical computer science, particularly infinite-state automata theory and temporal logic...
    
    
  • Chris Tofts
    Chris Tofts
    Chris Tofts is an English computer scientist.Chris Tofts studied mathematics as an undergraduate at Clare College, Cambridge, followed by a Diploma in Computer Science from the same college. He went on to do a PhD supervised by Robin Milner in the Laboratory for Foundations of Computer Science at...
    
    

• David Wheeler
  • Roger Needham
    Roger Needham
    Roger Michael Needham, CBE, FRS, FREng was a British computer scientist.-Early life:He attended Doncaster Grammar School for Boys in Doncaster ....
    
    
    • Ross J. Anderson
    • David L. Tennenhouse
      David L. Tennenhouse
      David Lawrence Tennenhouse was the Chief Executive Officer of A9.com, the search subsidiary of Amazon.com, from February 2006 through September 2006. He was previously an executive at Intel, a senior employee at DARPA, and a professor at MIT. He is currently on secondment to the Defense Advanced...
      
      
    • Peter G. Gyarmati
      Peter G. Gyarmati
      Peter G. Gyarmati is a software engineer and computer scientist, best-known for the development of OS/360+HASP for the System/360, then later the OS/VS for the System/370, especially the resource allocation system...
      
      

Oxford

Christopher Strachey was the first Professor of Computation at Oxford.

• Christopher Strachey
  Christopher Strachey
  Christopher Strachey was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design...
  
  
  • Peter Landin (worked as the assistant of Strachey, did not do a PhD.)
  • Chris Wadsworth
  • Peter Mosses
    Peter Mosses
    Peter D. Mosses is a British computer scientist.Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s...
    
    
    • Jens Palsberg
  • David Turner
    David Turner (computer scientist)
    Professor David Turner is a British computer scientist.He has a D.Phil. from the University of Oxford. He has held professorships at Queen Mary College, London, University of Texas at Austin and the University of Kent at Canterbury, where he now retains the post of Emeritus Professor.He is...
    
     (Secondary advisor: Dana Scott
    Dana Scott
    Dana Stewart Scott is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California...
    
    )

Tony Hoare established the undergraduate computer science course and led the Oxford University Computing Laboratory

Oxford University Computing Laboratory

The Department of Computer Science, until 2011 named the Computing Laboratory , is a department of Oxford University in England...

 for many years.

• Tony Hoare
  • Cliff Jones (computer scientist)
    • Tobias Nipkow
  • Bill Roscoe
    Bill Roscoe
    A. William "Bill" Roscoe is a Scottish computer scientist. He is Head of the Department of Computer Science, University of Oxford and a Professor of Computing Science...
    
    
  • Peter Lauer (computer scientist)
    • Eike Best
      • Javier Esparza

Church

• • • • • • Philip Franklin
            Philip Franklin
            Philip Franklin was an American mathematician and professor whose work was primarily focused in analysis....
            
            
            • Alan Perlis
              Alan Perlis
              Alan Jay Perlis was an American computer scientist known for his pioneering work in programming languages and the first recipient of the Turing Award.-Biography:...
              
              
              • Gary Lindstrom
                Gary Lindstrom
                Gary Lindstrom is an Emeritus Professor of Computer Science at the University of Utah, having taught previously at the University of Pittsburgh. He retired in July 2007....
                
                
              • David Parnas
                David Parnas
                David Lorge Parnas is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented programming today. He is also noted for his advocacy of precise documentation.- Biography :Parnas earned...
                
                
                • Richard J. Lipton
                  Richard J. Lipton
                  Richard Jay "Dick" Lipton is an American computer scientist who has worked in computer science theory, cryptography, and DNA computing. Lipton is presently Associate Dean of Research, Professor, and the Frederick G...
                  
                  
                  • Dan Boneh
                    Dan Boneh
                    Dan Boneh is a Professor of Computer Science and Electrical Engineering atStanford University. He is a well-known researcher in the areas of applied cryptographyand computer security.-Education:...
                    
                    
                  • Avi Wigderson
                    Avi Wigderson
                    Avi Wigderson is an Israeli mathematician and computer scientist, a professor of mathematics at the Institute for Advanced Study in Princeton. His research interests include complexity theory, parallel algorithms, graph theory, cryptography, distributed computing, and neural...
                    
                    
          • • • • Steven Muchnick
                  Steven Muchnick
                  Steven Stanley Muchnick is a noted computer science researcher, best known as author of the 1997 treatise on compilers, "Advanced Compiler Design and Implementation."-Background:...
                  
                  
                  • Uwe Frederik Pleban
                    • Peter Lee
                      Peter Lee (computer scientist)
                      Peter Lee is an American computer scientist. He is a Distinguished Scientist and Managing Director of Microsoft Research, Redmond, USA. Previously, he was the head of the Transformational Convergence Technology Office of the Defense Advanced Research Projects Agency and the Department Chair of...
                      
                      
                • Kurt Mehlhorn
                  Kurt Mehlhorn
                  Kurt Mehlhorn is a German computer scientist. He has been a vice president of the Max Planck Society and is director of the Max Planck Institute for Computer Science.-Education:...
                  
                  
                • Edmund M. Clarke
                  Edmund M. Clarke
                  Edmund Melson Clarke, Jr. is a computer scientist and academic noted for developingmodel checking, a method for formally verifying hardware and software designs....
                  
                  
                • • (Secondary advisor: John C. Reynolds
                    John C. Reynolds
                    John C. Reynolds is an American computer scientist.John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961. He was Professor of Information science at Syracuse University from 1970 to 1986. Since then he has been Professor of Computer...
                    
                    )
                  • Gregory Morrisett
            • • Theodore Hailperin
              • Steven Orey
              • Elliott Mendelson
                Elliott Mendelson
                Elliott Mendelson is an American logician. He was a professor of mathematics at Queens College of the City University of New York, and the Graduate Center of the City University of New York. He was Jr. Fellow, Society of Fellows, Harvard University, 1956-58. He taught mathematics at the college...
                
                
              • George Collins (logician)
              • Gerald Sacks
                Gerald Sacks
                Gerald Sacks is a logician who holds a joint appointment at Harvard University as a Professor of Mathematical Logic and the Massachusetts Institute of Technology as a Professor Emeritus. His most important contributions have been in recursion theory...
                
                
            • • David Park (computer scientist)
                David Park (computer scientist)
                David Michael Ritchie Park was a British computer scientist. He worked on the first implementation of LISP.He became an authority on the topics of fairness, program schemas and bisimulation in concurrent computing.-External links:...
                
                
                • Mike Paterson
                  Mike Paterson
                  Michael Stewart "Mike" Paterson, is the director of the Centre for Discrete Mathematics and its Applications in the Department of Computer Science at the University of Warwick, and was chair of that department in 2005....
                  
                  
                  • Ian Parberry
                  • Leslie Valiant
                    Leslie Valiant
                    Leslie Gabriel Valiant is a British computer scientist and computational theorist.He was educated at King's College, Cambridge, Imperial College London, and University of Warwick where he received his Ph.D. in computer science in 1974. He started teaching at Harvard University in 1982 and is...
                    
                    
              • • Nancy Lynch
                  Nancy Lynch
                  Nancy Ann Lynch is a professor at the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the Theory of Distributed Systems research group at MIT's Computer Science and Artificial Intelligence Laboratory.She is the...
                  
                  
                • Leonid Levin
                  Leonid Levin
                  -External links:* at Boston University....
                  
                  
                • Jeanne Ferrante
                  Jeanne Ferrante
                  Jeanne Ferrante is a computer scientist active in the field of compiler technology, where she has made important contributions regarding optimization and parallelization....
                  
                  
                • Charles Rackoff
                  Charles Rackoff
                  Charles Weill Rackoff is an American cryptologist. Born and raised in New York City, Rackoff attended MIT as both an undergraduate and graduate student, and earned a Ph.D. degree in Computer Science in 1974. He spent a year as a postdoctoral scholar at INRIA in France.He currently works at the...
                  
                  
                • Larry Stockmeyer
                  Larry Stockmeyer
                  Larry Joseph Stockmeyer was a computer scientist. He was one of the pioneers in the field of computational complexity theory, and he also worked in the field of distributed computing...
                  
                  
                • David Harel
                  David Harel
                  David Harel is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.-Biography:...
                  
                  
                • Joseph Halpern
                  Joseph Halpern
                  Joseph Yehuda Halpern is a professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty....
                  
                  
                  • Daphne Koller
                    Daphne Koller
                    Daphne Koller is a Professor in the Department of Computer Science at Stanford University and a MacArthur Fellowship recipient. Her general research area is artificial intelligence and its applications in the biomedical sciences...
                    
                    
            • • Angus Macintyre
                Angus MacIntyre
                Angus John Macintyre is a British mathematician known for his contributions to Model theory and logic. He is professor of mathematics at the Queen Mary, University of London....
                
                
              • Marko Petkovšek
                Marko Petkovšek
                Marko Petkovšek is a Slovenian mathematician, born: 1955, working mainly in symbolic computation.He is a professor of discrete and computational mathematics at the University of Ljubljana. He completed his Ph.D. at Carnegie Mellon University...
                
                
              • Fred S. Roberts
                Fred S. Roberts
                Fred Stephen Roberts is an American mathematician, a professor of mathematics at Rutgers University and the director of DIMACS.-Biography:...
                
                
              • Ketan Mulmuley
                Ketan Mulmuley
                Ketan Mulmuley is a professor in the Department of Computer Science at the University of Chicago, and a sometime visiting professor at IIT Bombay...
                
                
            • Peter B. Andrews (mathematician)
              • Frank Pfenning
                Frank Pfenning
                Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He received his Ph.D. from the Carnegie Mellon University Department of Mathematics in 1987, for his dissertation entitled Proof Transformations in Higher-Order...
                
                
                • Hongwei Xi

Harvard

Hopcroft / Lefschetz

• • • • • • • • • • (Primary advisor: Ravi Sethi
                    Ravi Sethi
                    Ravi Sethi is an Indian computer scientist retired from Bell Labs and president of Avaya Labs Research. He is best known as one of three authors of the classic computer science textbook Compilers: Principles, Techniques, and Tools, also known as the Dragon Book.Sethi was born in 1947 in Murdana,...
                    
                    )
  • • • • • • • Johan Håstad
                Johan Håstad
                Johan Torkel Håstad is a Swedish theoretical computer scientist most known for his work on computational complexity theory. He was the recipient of the Gödel Prize in 1994 and 2011 and the ACM Doctoral Dissertation Award in 1986, among other prizes...
                
                
          • • • (Primary advisor: Nico Habermann)
          • (Secondary advisor: Gerald Sussman)

Knuth

Hartmanis

• Eric Temple Bell
  Eric Temple Bell
  Eric Temple Bell , was a mathematician and science fiction author born in Scotland who lived in the U.S. for most of his life...
  
  
  • Morgan Ward
    Morgan Ward
    Morgan Ward was an American mathematician, a professor of mathematics at the California Institute of Technology.Ward received his Ph.D. from Caltech in 1928, with a dissertation entitled The Foundations of General Arithmetic; his advisor was Eric Temple Bell...
    
    
    • Robert P. Dilworth
      Robert P. Dilworth
      Robert Palmer Dilworth was an American mathematician. His primary research area was lattice theory; his biography at the MacTutor History of Mathematics archive states "it would not be an exaggeration to say that he was one of the main factors in the subject moving from being merely a tool of...
      
      
      • Juris Hartmanis
        Juris Hartmanis
        Juris Hartmanis is a prominent computer scientist and computational theorist who, with Richard E. Stearns, received the 1993 ACM Turing Award "in recognition of their seminal paper which established the foundations for the field of computational complexity theory".Hartmanis was born in Latvia...
        
        
      • Edward Reingold
        Edward Reingold
        Edward M. Reingold is a computer scientist active in the fields of algorithms, data structures, graph drawing, and calendrical calculations.He has co-authored the standard text on calendrical calculations, Calendrical Calculations, with Nachum Dershowitz...
        
        
      • Dexter Kozen
        Dexter Kozen
        Dexter Campbell Kozen is an American theoretical computer scientist. He is currently Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his B.A...
        
        
        • Hubie Chen
      • Neil Immerman
        Neil Immerman
        Neil Immerman is an American theoretical computer scientist, a professor of computer science at the University of Massachusetts Amherst...
        
        
        • Allan Borodin
          Allan Borodin
          Allan Bertram Borodin is a University of Toronto professor whose research is in computational complexity theory and algorithms.He has co-authored papers with some of the best researchers in computer science including his longtime friend and colleague Turing Award winner Stephen Cook...
          
          
          • David G. Kirkpatrick
            David G. Kirkpatrick
            David Galer Kirkpatrick is a professor of computer science at the University of British Columbia. He is known for the Kirkpatrick–Seidel algorithm and his work on Polygon triangulation, and for co-inventing α-shapes and the β-skeleton...
            
            
          • Ian Munro (computer scientist)

Floyd

Bob Floyd never received a PhD, although he worked closely with Donald Knuth on The Art of Computer Programming

The Art of Computer Programming

The Art of Computer Programming is a comprehensive monograph written by Donald Knuth that covers many kinds of programming algorithms and their analysis....

.

Hilbert

• David Hilbert
  David Hilbert
  David Hilbert was a German mathematician. He is recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory and the axiomatization of...
  
  
  • Hugo Steinhouse
    • Mark Kac
      Mark Kac
      Mark Kac was a Polish mathematician. His main interest was probability theory. His question, "Can one hear the shape of a drum?" set off research into spectral theory, with the idea of understanding the extent to which the spectrum allows one to read back the geometry. Kac completed his Ph.D...
      
      
      • Harry Kesten
        Harry Kesten
        Harry Kesten is an American mathematician best known for his work in probability, most notably on random walks and percolation theory.- Biography :...
        
        
        • Ed Granirer
          • Tony Lau
            • Maria Klawe
              Maria Klawe
              Maria M. Klawe is a computer scientist and the fifth president of Harvey Mudd College . Although born in Toronto in 1951, she became a naturalized U.S. citizen in 2009. She was previously Dean of the School of Engineering and Applied Science at Princeton University.-Biography:Klawe was born in...
              
              
  • Herman Weyl
    • Saunders MacLane
      • Roger Conant Lyndon
        • Calvin Creston Elgot
      • Anil Nerode
        Anil Nerode
        Anil Nerode is a U.S. mathematician, born in 1932. He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago, the latter under the directions of Saunders Mac Lane. He enrolled in the Hutchins College at the University of Chicago in 1947 at the age of 15, and...
        
        
        • Bob Soare
        • Richard Tenney
      • Micael Morley
        • Terry Millar
          • Mark Manasse
  • Kurt Schutte
    Kurt Schütte
    Kurt Schütte was a German mathematician who worked on proof theory and ordinal analysis. The Feferman-Schütte ordinal, which he showed to be the precise ordinal bound for predicativity, is named after him.-References:...
    
    
    • Wolfgang Maass
  • Wilhelm Ackermann
    Wilhelm Ackermann
    Wilhelm Friedrich Ackermann was a German mathematician best known for the Ackermann function, an important example in the theory of computation....
    
    
  • Richard Courant
    Richard Courant
    Richard Courant was a German American mathematician.- Life :Courant was born in Lublinitz in the German Empire's Prussian Province of Silesia. During his youth, his parents had to move quite often, to Glatz, Breslau, and in 1905 to Berlin. He stayed in Breslau and entered the university there...
    
    
  • Haskell Curry
    Haskell Curry
    Haskell Brooks Curry was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, much of the development was done by Curry. Curry is also known for Curry's...
    
    

Aiken

• Howard Aiken
  Howard Aiken
  Howard Hathaway Aiken was a pioneer in computing, being the original conceptual designer behind IBM's Harvard Mark I computer....
  
  
  • Gerrit Blaauw
    Gerrit Blaauw
    Gerrit Anne Blaauw is one of the principal designers of the IBM System/360 line of computers, together with Fred Brooks, Gene Amdahl, and others....
    
    
    • Christian Vissers
      • Hendrik Brinksma
  • Fred Brooks
    Fred Brooks
    Frederick Phillips Brooks, Jr. is a software engineer and computer scientist, best known for managing the development of IBM's System/360 family of computers and the OS/360 software support package, then later writing candidly about the process in his seminal book The Mythical Man-Month...
    
    
  • Anthony Oettinger
    • William Hines Bossert
      • Gerald J. Popek
        Gerald J. Popek
        Gerald John "Jerry" Popek was an American computer scientist, known for his research on operating systems and virtualization.With Robert P...
        
        
        • John Heidemann
    • Sheila Greibach
      Sheila Greibach
      Sheila Adele Greibach is a researcher in formal languages, automata,compiler theory in particular; and computer science in general. She is currently Professor of Computer Science at the University of California, Los Angeles....
      
      
      • Ronald Book
      • Michael Fischer
        • Mitchell Wand
          Mitchell Wand
          Mitchell Wand is a Computer Science professor at Northeastern University. He received his Ph.D. degrees from MIT. His research has centred on programming languages and is a member of the Northeastern Programming Research Lab. He is also the co-author of Essentials of Programming Languages.-External...
          
          
        • Michael Hammer
          Michael Hammer
          Michael Martin Hammer was an American engineer, management author, and a former professor of computer science at the Massachusetts Institute of Technology , known as one of the founders of the management theory of Business process reengineering .- Biography:Hammer, the child of Holocaust...
          
          
          • Dennis McLeod
      • Jean Gallier
    • Richard Karp
      Richard Karp
      Richard Manning Karp is a computer scientist and computational theorist at the University of California, Berkeley, notable for research in the theory of algorithms, for which he received a Turing Award in 1985, The Benjamin Franklin Medal in Computer and Cognitive Science in 2004, and the Kyoto...
      
      
      • Robert Keller (computer scientist)
        • Paul Hudak
          Paul Hudak
          Paul Hudak is a Professor of Computer Science at Yale University. He is a former Chair of the Department. He is known as one of the designers of the Haskell programming language. Currently he is also Master of Saybrook College at Yale.- External links :*...
          
          
          • Kai Li
      • Kellogg Booth
      • Ron Shamir
      • Rajeev Motwani
        Rajeev Motwani
        Rajeev Motwani was a professor of Computer Science at Stanford University whose research focused on theoretical computer science. He was an early advisor and supporter of companies including Google and PayPal, and a special advisor to Sequoia Capital. He was a winner of the Gödel Prize in...
        
        
    • Eugene Lawler
      Eugene Lawler
      Eugene Leighton Lawler was an American computer scientist, a professor of computer science at the University of California, Berkeley.-Academic life:...
      
      
      • David Shmoys
        David Shmoys
        David Shmoys is currently a Professor in both the School of Operations Research and Information Engineering and the Department of Computer Science at Cornell University. He obtained his Ph.D. from the University of California, Berkeley in 1984...
        
        
        • Philip N. Klein
          • Ramamurthy Ravi
        • Clifford Stein
          Clifford Stein
          Clifford Stein, a computer scientist, is currently a professor of industrial engineering and operations research at Columbia University in New York, NY, where he also holds an appointment in the Department of Computer Science. Stein is chair of the Industrial Engineering and Operations Research...
          
          

Stanford

• George Forsythe
  George Forsythe
  George Elmer Forsythe was the founder and head of Stanford University's Computer Science Department. He served as professor and chairman of the department from 1965 until his death...
  
  
  • Ramon E. Moore
  • Cleve Moler
    Cleve Moler
    Cleve Barry Moler is a mathematician and computer programmer specializing in numerical analysis. In the mid to late 1970s, he was one of the authors of LINPACK and EISPACK, Fortran libraries for numerical computing. He invented MATLAB, a numerical computing package, to give his students at the...
    
    
    • Jack Dongarra
      Jack Dongarra
      Jack J. Dongarra is a University Distinguished Professor of Computer Sciencein the Electrical Engineering and Computer Science Department at the University of Tennessee...
      
      
    • Charles F. Van Loan
      Charles F. Van Loan
      Charles Francis Van Loan is a professor of computer science and the Joseph C. Ford Professor of Engineering at Cornell University, known for his expertise in numerical analysis, especially matrix computations.-Biography:...
      
      
  • Bill McKeeman
    • Eric Hehner
      Eric Hehner
      Eric C. R. Hehner, called Rick, is a Canadian computer scientist.Eric Hehner was born on 16 September 1947 in Ottawa. He studied mathematics and physics at Carleton University, obtaining his first degree in 1969. He gained a PhD in computer science from the University of Toronto in 1974. He then...
      
       (Primary advisor: David Barkley Wortman)
  • Richard P. Brent (Primary advisor: Gene Howard Golub)
  • J. Alan George
    J. Alan George
    J. Alan George, is a computer scientist and university administrator.In the academic world, George is best known for his intensive research and wide-ranging contributions to the field of numerical linear algebra, specifically computation with sparse matrices...
    
    
    • Gaston Gonnet
      Gaston Gonnet
      Gaston H. Gonnet is a Uruguayan computer scientist and entrepreneur. He is best known for his contributions to the Maple computer algebra system and the creation of an electronic version of the Oxford English Dictionary.- Education and professional life :...
      
      
      • Ricardo Baeza-Yates
        Ricardo Baeza-Yates
        Ricardo Baeza-Yates is a Chilean computer scientist and currently VP for EMEA and Latin America leading the Yahoo! Research labs at Barcelona, Spain and Santiago, Chile, supervising also the lab in Haifa, Israel. His Ph.D...
        
        
  • Michael Alexander Malcolm
    • David Cheriton
      David Cheriton
      David Ross Cheriton is a Canadian-born computer science professor at Stanford University who has investments in technology companies...
      
      
      • Willy Zwaenepoel

Other

• Harold Stone (computer scientist)
  • Harold N. (Hal) Gabow
    • Matthias Stallmann
    • Manfred K. Warmuth
      Manfred K. Warmuth
      Manfred Klaus Warmuth is a researcher and professor at the University of California, Santa Cruz. His main research interest is computational learning theory with a special focus on online learning algorithms.-External links:*...
      
      
      • Yoav Freund
        Yoav Freund
        Yoav Freund is a researcher and professor at the University of California, San Diego who mainly works on machine learning, probability theory and related fields and applications.From his homepage:...
        
        

• Franco P. Preparata
  Franco P. Preparata
  Franco P. Preparata is a computer scientist, the An Wang Professor of Computer Science at Brown University. He is best known for his 1985 computational geometry book with Michael Shamos, for many years the standard textbook in the field, but Preparata has worked in many other areas of computer...
  
  
  • Roberto Tamassia
    Roberto Tamassia
    Roberto Tamassia is a computer scientist, the Plastech Professor of Computer Science at Brown University, and since 2007 has been chair of the Brown Computer Science department...
    
    

• Georg Kreisel
  Georg Kreisel
  Georg Kreisel FRS is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied mathematics at Trinity College, Cambridge and then, during World War...
  
  
  • Richard Statman
    Richard Statman
    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:...
    
    

• Herbert Simon
  Herbert Simon
  Herbert Alexander Simon was an American political scientist, economist, sociologist, and psychologist, and professor—most notably at Carnegie Mellon University—whose research ranged across the fields of cognitive psychology, cognitive science, computer science, public administration, economics,...
  
  
  • Allen Newell
    Allen Newell
    Allen Newell was a researcher in computer science and cognitive psychology at the RAND corporation and at Carnegie Mellon University’s School of Computer Science, Tepper School of Business, and Department of Psychology...
    
    
  • Robert Kendall Lindsay
    • Terrence Wendall Pratt
      • Daniel Paul Friedman
        • Matthias Felleisen
          Matthias Felleisen
          Matthias Felleisen is a computer science professor and an author of German background.Felleisen is currently a Trustee Professor in the College of Computer and Information Science at Northeastern University in Boston, Massachusetts. In the past he has taught at Rice University after receiving his...
          
          
          • Shriram Krishnamurthi
            Shriram Krishnamurthi
            Shriram Krishnamurthi is a computer scientist, currently teaching at Brown University . He is also a member of the PLT group and, as such, responsible for the creation of several software packages in Racket, including the Debugger, the FrTime package, and the networking library.Krishnamurthi...
            
            

• Charles Bachman
  Charles Bachman
  Charles William "Charlie" Bachman is an American computer scientist, who spent his entire career as an industrial researcher rather than in academia...
  
  

• Edwin Boring
  • Cooper Harold Langford
    • Arthur Burks
      Arthur Burks
      Arthur Walter Burks was an American mathematician who in the 1940s as a senior engineer on the project contributed to the design of the ENIAC, the first general-purpose electronic digital computer. Decades later, Burks and his wife Alice Burks outlined their case for the subject matter of the...
      
      
      • John Henry Holland
        John Henry Holland
        John Henry Holland is an American scientist and Professor of Psychology and Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. He is a pioneer in complex systems and nonlinear science. He is known as the father of genetic algorithms. He was awarded...
        
        
        • Edgar F. Codd
          Edgar F. Codd
          Edgar Frank "Ted" Codd was an English computer scientist who, while working for IBM, invented the relational model for database management, the theoretical basis for relational databases...
          
          
        • Stephen T. Hedetniemi (Primary advisor: Frank Harary
          Frank Harary
          Frank Harary was a prolific American mathematician, who specialized in graph theory. He was widely recognized as one of the "fathers" of modern graph theory....
          
          )
        • Donald F. Stanat
          • Jon Bentley
            Jon Bentley
            Jon Louis Bentley is a researcher in the field of computer science. He is credited with the invention of the k-d tree....
            
            
            • Charles Leiserson (Primary advisor: Hsiang-Tsung Kung)
              • Guy Blelloch
                Guy Blelloch
                Guy Edward Blelloch is a professor of computer science at the Carnegie Mellon University. He is known for his work in parallel programming and parallel algorithms...
                
                
              • Thomas H. Cormen
                Thomas H. Cormen
                Thomas H. Cormen is the co-author of Introduction to Algorithms, along with Charles Leiserson, Ron Rivest, and Cliff Stein. He is a Full Professor of computer science at Dartmouth College and currently Chair of the Dartmouth College Department of Computer Science. Between 2004 and 2008 he directed...
                
                
        • Gul Agha
          Gul Agha (computer scientist)
          Gul Agha is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, and Director of the Open Systems Laboratory. He is known for his work on the Actor model of concurrent computation, and was also Editor-in-Chief of ACM Computing Surveys from 1999 to...
          
           (Secondary advisor: Carl Hewitt
          Carl Hewitt
          Carl Hewitt is Board Chair of the International Society for Inconsistency Robustness. He has been a Visiting Professor at Stanford University and the University of Keio. In 2000, he became emeritus in the EECS department at MIT....
          
          )

• Robert "Bob" Allen Paige
  • Friedrich "Fritz" Henglein

• John Alan Robinson

External links

• SIGACT Theoretical Computer Science Genealogy (archived on 13 October 2007)
• Mathematics Genealogy Project
• AI Genealogy Project
• Computer Engineering Academic Genealogy by Yuan Xie, Pennsylvania State University