1. Jean-Marie Cadiou (Stanford University, 1972): Recursive Definitions of Partial Functions and their Computations
2. Ashok Chandra (Stanford University, 1973): On the Properties and Applications of Program Schemas
3. Jean Vuillemin (Stanford University, 1973): Proof Techniques for Recursive Programs
1. Philippe Flajolet (Université de Paris, 1979)
1. Laurent Cheno (Université Paris Orsay, 1981)
2. Mireille Régnier (Université Paris Orsay, 1983)
3. Claude Puech (Université Paris Orsay, 1984)
1. Claire Kenyon (Université Paris Orsay, 1988)
   1. Nicolas Schabanel (École Normale Superière Lyon, 2000)
   2. Jérémy Barbay (Université Paris Orsay, 2002)
2. Michel Pocchiola (Université Paris, 1990)
   1. Pierre Angelier (Université Paris VII, 2002)
   2. Éric Colin de Verdière (Université Paris VII, 2003)
3. Alexis Lamouret (Université Joseph Fourier, 1995)
4. Nicolas Holzschuch (Université Joseph Fourier, 1996)
5. Jean-Christophe Lombardo (Université Joseph Fourier, 1996)
6. François Faure (Université Joseph Fourier, 1997)
7. Frédéric Cazals (Université Paris VII, 1997)
8. Nicolas Tsingos (Université Joseph Fourier, 1998)
9. Frédo Durand (Université Joseph Fourier, 1999)
10. Eric Paquette (Université de Montréal, 2002)
4. Philippe Jacquet (Université Paris Orsay, 1989)
5. Michelle Soria (Université Paris Orsay, 1990)
6. Luc Albert (Université Paris Orsay, 1990)
7. Danièle Gardy (Université Paris Orsay, 1990)
8. Paul Zimmermann (École Polytechnique, 1991)
1. Francois Bertault (Université Henry Poincaré, Nancy, 1997)
9. Bruno Salvy (École Polytechnique, 1991)
10. Philippe Dumas (Université Bordeaux, 1993)
11. Xavier Gourdon (École Polytechnique, 1996)
12. Frédéric Chyzak (École Polytechnique, 1998)
13. Julien Clement (Université Caen, 2000)
14. Cyril Banderier (Université Paris VI, 2001)
15. Marianne Durand (École Polytechnique, 2002)
2. Louis Monier (Université Paris, 1980)
3. Patrice Bertin (Université Paris VII, 1993)
4. Laurent Moll (École Polytechnique, 1997)
4. Shmuel Katz (Weizmann Institute, 1976): Invariants and the Logical Analysis of Programs
1. Orna Grumberg (Technion, 1984)
1. Limor Fix (Technion, 1992)
2. Orna Kupferman (Technion, 1995)
3. Karen Yorav (Technion, 2000)
4. Doron Bustan (Technion, 2002)
2. Gadi Taubenfeld (Technion, 1988)
3. Doron Peled (Technion, 1991)
1. Hongyang (Foster) Qu (University of Warwick, 2005)
4. Marcelo Glusman (Technion, 2003)
5. Marcelo Sihman (Technion, 2003)
5. Adi Shamir (Weizmann Institute, 1977): Fixedpoints of Recursive Programs
1. Mira Balaban (Weizmann Institute, 1983)
2. Amos Fiat (Weizmann Institute, 1987)
1. Yuval Rabani (Tel Aviv University, 1994)
1. Anna Moss (Technion, 2001)
2. Yiftach Ravid (Tel Aviv University, 1994)
3. Yair Bartal (Tel Aviv University, 1995)
4. Moty Ricklin (Tel Aviv University, 1995)
5. Adi Rosén (Tel Aviv University, 1995)
6. Manor Mendel (Tel Aviv University, 2001)
3. Ziv Soferman (Weizmann Institute, 1990)
4. Avital Schrift (Weizmann Institute, 1991)
5. Eli Biham (Weizmann Institute, 1992)
1. Elad Barkan (Technion, 2006)
2. Orr Dunkelman (Technion, 2006)
   
3. Tal Mor (Technion, 1997)
   
6. Uriel Feige (Weizmann Institute, 1992)
7. Robert Krauthgamer (Weizmann Institute, 2001)
   Michael Langberg (Weizmann Institute, 2003)
   Eran Ofek (Weizmann Institute, 2006)
   
8. Dror Lapidot (Weizmann Institute, 1993)
9. Alexander Klimov (Weizmann Institute, 2005) 
10. Eran Tromer (Weizmann Institute, 2007)
6. Nachum Dershowitz (Weizmann Institute, 1978): Automatic Program Modification
1. Jieh Hsiang (University of Illinois, 1982; unofficial)
1. Michael Rusinowitch (Université de Nancy, 1987)
1. Adel Bouhoula (Université de Nancy, 1994)
2. Laurent Vigneron (Université de Nancy, 1994)
3. Eric Monfroy (Université de Nancy, 1996)
4. Narjes Berregeb (Université de Nancy, 1997)
5. Sorin Stratulat (Université de Nancy, 2000)
2. Eric Johnson (SUNY Stonybrook, 1990)
3. Maria Paola Bonacina (SUNY Stonybrook, 1992)
4. Hong Chen (SUNY Stonybrook, 1992)
5. Hsieh-Chang Tu (National Taiwan University, 1999)
6. Guan-Shieng Huang (National Taiwan University, 1999)
7. Yuh-Pyng Shieh (National Taiwan University, 2000)
2. Leo Bachmair (University of Illinois, 1986)
1. Ta Chen (SUNY Stony Brook, 1995)
2. Ashish Tiwari (SUNY Stony Brook, 2000)
3. Yuh-jeng Lee (University of Illinois, 1987)
4. G. Sivakumar (University of Illinois, 1988)
1. S. Hanumantha Rao (IIT Bombay, 1998)
2. Jyotsna Kamal (IIT Bombay, 1999)
3. Krishnan Ramanathan (IIT Bombay, 1999)
5. N. Alan Josephson (University of Illinois, 1989)
6. Naomi Lindenstrauss (Hebrew University, 1991)
7. Subrata Mitra (University of Illinois, 1994)
8. Charles Hoot (University of Illinois, 1996)
9. Mitch Harris (University of Illinois, 2002)
10. Udi Boker (Tel Aviv University, 2009)
11. Iddo Tzameret (Tel Aviv University, 2009)
12. Alexander Nadel (Tel Aviv University, 2009)
7. William Scherlis (Stanford University, 1980): Expression Procedures and Program Derivation
1. Scott Dietzen (Carnegie-Mellon University, 1990)
2. Rod Nord (Carnegie-Mellon University, 1991)
8. Pierre Wolper (Stanford University, 1982): Synthesis of Communicating Processes from Temporal Logic Specifications
1. Marie-Jeanne Toussaint (University of Liège, 1991)
2. Froduald Kabanza (University of Liège, 1992)
3. Patrice Godefroid (University of Liège, 1994)
4. Bernard Boigelot (University of Liège, 1998)
9. Ben Moszkowski (Stanford University, 1983): Reasoning about Digital Circuits
1. Roger Hale (University of Cambridge, 1988)
2. Arun Chakrapani Rao (De Montfort University, 2002)
3. Jordan Dimitrov (De Montfort University, 2002)
10. Yoni Malachi (Stanford University, 1985): Nonclausal Logic Programming
11. Martín Abadi (Stanford University, 1986): Temporal Theorem Proving
12. Marianne Baudinet (Stanford University, 1988): Logic Programming Semantics: Techniques and Applications
13. Rajeev Alur (Stanford University, 1991): Techniques for Automatic Verification of Real-Time Systems
1. Salvatore La Torre (University of Pennsylvania, 2001)
2. Bow-Yaw Wang (University of Pennsylvania, 2001)
3. Franjo Ivancic (University of Pennsylvania, 2003) 
4. Zijiang Yang (University of Pennsylvania, 2003)
14. Tom Henzinger (Stanford University, 1991): The Temporal Specification and Verification of Real-Time Systems
1. Pei-Hsin Ho (Cornell, 1995)
2. Peter Kopke (Cornell, 1996)
3. Shaz Qadeer (UC Berkeley, 1999)
4. Sriram Rajamani (UC Berkeley, 1999)
5. Freddy Mang (UC Berkeley, 2002)
6. Rupak Majumdar (UC Berkeley, 2003)
7. Benjamin Horowitz (UC Berkeley, 2003)
15. Eddie Chang (Stanford University, 1994): Compositional Verification of Reactive and Real-Time Systems
16. Hugh McGuire (Stanford University, 1995): Two Methods for Checking Formulas of Temporal Logic
17. Anuchit Anuchitanukul (Stanford University, 1995): Synthesis of Reactive Programs
18. Arjun Kapur (Stanford University, 1997): Interval and Point-Based Approaches to Hybrid System Verification
19. Luca de Alfaro (Stanford University, 1998): Formal Verification of Probabilistic Systems
20. Nikolaj S. Bjørner (Stanford University, 1998): Integrating Decision Procedures for Temporal Verification
21. Tomás E. Uribe (Stanford University, 1998): Abstraction-Based Deductive-Algorithmic Verification of Reactive Systems
22. Henny B. Sipma (Stanford University, 1999): Diagram-Based Verification of Discrete, Real-Time and Hybrid Systems
23. Bernd Finkbeiner (Stanford University, 2002): Verification Algorithms Based on Alternating Automata
24. Michael Colón (Stanford University, 2003): Deductive Techniques for Program Analysis
25. Calogero Zarba (Stanford University, 2004): The Combination Problem in Automated Reasoning
26. Sriram Sankaranarayanan (Stanford University, 2005): Mathematical Analysis of Programs
27. Ting Zhang (Stanford University, 2006): Arithmetic Integration of Decision Procedures
28. Matteo Slanina (Stanford University, 2007): Deductive Verification of Alternating Systems
29. César Sánchez (Stanford University, 2007): Deadlock Avoidance for Distributed Real-Time and Embedded Systems
30. Aaron Bradley (Stanford University, 2007): Safety Analysis of Systems.
    

The other direction:

Zohar Manna (Carnegie-Mellon University, 1968)

Robert W. Floyd

Alan J. Perlis (Massachusetts Institute of Technology, 1950)

Philip Franklin (Princeton University, 1921)

Oswald Veblen (University of Chicago, 1903)

Eliakim Hastings Moore (Yale University, 1885)

Hubert Anson Newton (Yale University, 1850)

Michel Chasles (École Polytechnique, 1814)

Siméon-Denis Poisson (École Polytechnique, 1798)

Joseph-Louis Lagrange [Giuseppe Lodovico Lagrangia] (unofficial; 1764)

Leonhard Euler (Universität Basel, 1726)

Johann Bernoulli (Universität Basel, 1694)

Jakob [Jaques] Bernoulli (Universität Basel, 1684)

Gottfried Willhelm Leibniz (Universität Altdorf, 1666)

Erhard Weigel (Universität Leipzig, 1650)

Christiaan Huygens (Universiteit Leiden / Université d'Angers 1647, 1655)

Frans van Schooten, Jr. (Universiteit Leiden, 1635)

Jacobus Golius (Universiteit Leiden, 1612, 1621)

Willebrord [Snel van Royen] Snellius (Universiteit Leiden, 1607)

Ludolph van Ceulen

Rudolph [Snel van Royen] Snellius (Universität zu Köln / Ruprecht-Karls-Universität Heidelberg, 1572)

Valentine Naibod (Martin-Luther-Universität Halle-Wittenberg / Universitat Erfurt)

Erasmus Reinhold (Martin-Luther-Universität Halle-Wittenberg, 1535)

Jakob Milich (Albert-Ludwigs-Universität Freiburg im Breisgau / Universität Wien, 1520, 1524)

Desiderius Erasmus (Collège de Montaigu, 1497)

Jan Standonck (Collège Sainte-Barbe / Collège de Montaigu, 1474, 1490)

Alexander Hegius von Heek

Ulrich Zasius (Albert-Ludwigs-Universität Freiburg im Breisgau, 1501)

Immanuel Tremellius

Thomas Erpenius

Marin Mersenne (Université Paris IV-Sorbonne, 1611)

Jan Jansz Stampioen, Jr.