Zohar Manna's Doctoral Descendents

  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. Alexis Lamouret (Université Joseph Fourier, 1995)
        2. Nicolas Holzschuch (Université Joseph Fourier, 1996)
        3. Jean-Christophe Lombardo (Université Joseph Fourier, 1996)
        4. Michel Pocchiola (Université Paris, 1990)
        5. Fredo Durand
      4. Philippe Jacquet (Université Paris Orsay, 1988)
      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 (Ecole Polytechnique, 1991)
        1. Francois Bertault (Université Henry Poincaré, Nancy, 1997)
      9. Bruno Salvy (Ecole Polytechnique, 1991)
      10. Philippe Dumas (Université Bordeaux, 1993)
      11. Xavier Gourdon (Ecole Polytechnique, 1996)
      12. Frédéric Chyzak (Ecole Polytechnique, 1998)
      13. Julien Clement (Université Caen, 2000)
      14. C. Banderier (Université Paris VI, 2001)
      15. M. Durand (École Polytechnique, 2002)
    2. Louis Monier
  4. Shmuel Katz (Weizmann Institute, 1976): Invariants and the Logical Analysis of Programs
    1. Orna Grumberg (Technion, 1984)
      1. Orna Kupferman (Technion, 1995)
      2. Keren Yorav (Technion, 2000)
    2. Gadi Taubenfeld (Technion, 1988)
    3. Doron Peled (Technion, 1991)
  5. Adi Shamir (Weizmann Institute, 1977): Fixedpoints of Recursive Programs
    1. Eli Biham (Weizmann Institute)
    2. Uriel Feige (Weizmann Institute)
    3. Dror Lapidot (Weizmann Institute)
    4. Avital Schrift (Weizmann Institute)
    5. Ziv Soferman (Weizmann Institute)
    6. Amos Fiat (Weizmann Institute)
      1. Yair Bartal (Tel-Aviv University, 1997)
      2. Yuval Rabani (Tel-Aviv University, 1994)
        1. Anna Moss (Technion, 2001)
      3. Yiftach Ravid (Tel-Aviv University, 1994)
      4. Moty Ricklin (Tel-Aviv University, 1995)
      5. Adi Rosen (1995)
      6. Manor Mendel (Tel-Aviv University, 2001)
  6. Nachum Dershowitz (Weizmann Institute, 1978): Automatic Program Modification
    1. Jieh Hsiang (University of Illinois, 1982, coadvisor: David Plaisted)
      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)
  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. Martin 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)
  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)
  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