Professor Manna's tree at Tel Aviv University, maintained by Nachum Dershowitz.

year-of-PhD Name [Notes, PhD institution] (last known location, email)
At Stanford
1. 1972 Jean-Marie Cadiou (IBM research, EC)
2. 1973 Ashok Chandra (IBM Research)
3. 1973 Jean Vuillemin [Stanford] (Univ. Paris)
   Professor Vuillemin, Univ. Paris, Orsay
   1. 1979 Philippe Flajolet [Université de Paris] (Univ. Paris)
   Professor Flajolet, Univ. Paris, Orsay
   1. 1981 Laurent Cheno [Université Paris Orsay] ( )
   2. 1983 Mireille Régnier [Université Paris Orsay] ( )
   3. 1984 Claude Puech [Univ. Paris Orsay] (Univ. Joseph Fourier)
      Professor Puech, Univ. Joseph Fourier
      1. 1995 Alexis Lamouret ( )
      2. 1996 Nicolas Holzschuch ( )
      3. 1996 Jean-Christophe Lombardo ( )
      4. 1990? Michel Pocchiola [Univ. Paris] ( )
      5. 1999 Frédo Durand [Univ. of Grenoble] (MIT <Fredo at mit.edu
         Professor Durand, MIT graphics
         1. any?
      1
   4. 1988 Philippe Jacquet [Université Paris Orsay] ( )
   5. 1990 Michelle Soria [Université Paris Orsay] ( )
   6. 1990 Luc Albert [Université Paris Orsay] ( )
   7. 1990 Danièle Gardy [Université Paris Orsay] ( )
   8. 1991 Paul Zimmermann [Ecole Polytechnique] ( )
   Professor Zimmerman, Université Henry Poincaré, Nancy
   1. 1997 Francois Bertault [Univ. Henri Poincare] ( )
   9. 1991 Bruno Salvy [Ecole Polytechnique] ( )
   10. 1993 Philippe Dumas [Université Bordeaux] ( )
   11. 1996 Xavier Gourdon [Ecole Polytechnique] ( )
   12. 1998 Frédéric Chyzak [Ecole Polytechnique] ( )
   13. 2000 Julien Clement [Université Caen] ( )
   14. 2001 C. Banderier [Université Paris VI] ( )
   15. 2002 M. Durand [École Polytechnique] ( )
   2. Louis Monier
   
   At Weizman Institute
4. 1976 Shmuel Katz (Technion)
   Professor Katz, Technion
   1. 1984 Orna Grumberg [Technion] (Technion)
   Professor Grumberg, Technion
   1. 1995 Orna Kupferman [Technion] ( )
   2. 2000 Keren Yorav [Technion] ( )
   2. 1988 Gadi Taubenfeld [Technion] ( )
   3. 1991 Doron Peled [Technion] ( )
5. 1977 Adi Shamir (Weizman)
   Professor Shamir, Weizman Institute
   1. ? Eli Biham [Weizmann] ( )
   2. ? Uriel Feige [Weizmann] ( )
   3. ? Dror Lapidot [Weizmann] ( )
   4. ? Avital Schrift [Weizmann] ( )
   5. ? Ziv Soferman [Weizmann] ( )
   6. ? Amos Fiat [Weizmann] (Tel Aviv Univ.)
      Professor Fiat. Tel-Aviv Univ.
      1. 1997 Yair Bartal [Tel-Aviv University] ( )
      2. 1994 Yuval Rabani [Tel-Aviv University] (Technion)
         Professor Rabani [Technion.
         1. 2001 Anna Moss [Technion] ( )
      3. 1994 Yiftach Ravid [Tel-Aviv University] ( )
      4. 1995 Moty Ricklin [Tel-Aviv University] ( )
      5. 1995 Adi Rosen ( )
      6. 2001 Manor Mendel [Tel-Aviv University] ( )
6. 1978 Nachum Dershowitz (Tel Aviv Univ.)
   Professor Rabani, Tel Aviv Univ.
   1. 1982 Jieh Hsiang [Univ. of Illinois] -- coadvisor: David Plaisted
      Professor Hsiang, Nancy, SUNY Stonybrook, Nat. Taiwan Un.
      1. 1987 Michael Rusinowitch (Univ. Nancy <>)
         Professor Rusinovich, Université de Nancy
         1. 1994 Adel Bouhoula ( )
         2. 1994 Laurent Vigneron ( )
         3. 1996 Eric Monfroy ( )
         4. 1997 Narjes Berregeb ( )
         5. 2000 Sorin Stratulat ( )
         at SUNY Stonybrook
      2. 1990 Eric Johnson ( )
      3. 1992 Maria Paola Bonacina ( )
      4. 1992 Hong Chen ( )
         at National Taiwan Unversity
      5. 1999 Hsieh-Chang Tu ( )
      6. 1999 Guan-Shieng Huang ( )
      7. 2000 Yuh-Pyng Shieh ( )
   2. 1986 Leo Bachmair [University of Illinois] (SUNY Stony Brook)
      Professor Backmair, Stony Brook
      1. 1995 Ta Chen ( )
      2. 2000 Ashish Tiwari ( )
   3. 1987 Yuh-jeng Lee ( )
   4. 1988 G. Sivakumar, (IIT Bombay)
      Professor Sivakumar, IIT Bombay
      1. 1998 S. Hanumantha Rao ( )
      2. 1999 Jyotsna Kamal ( )
      3. 1999 Krishnan Ramanathan ( )
   5. 1989 N. Alan Josephson ( )
   6. 1991 Naomi Lindenstrauss [at Hebrew University] ( )
   7. 1994 Subrata Mitra ( )
   8. 1996 Charles Hoot ( )
   9. 2002 Mitch Harris ( )
At Stanford
7. 1980 William Scherlis (CMU)
   Prof. Scherlis, CMU, ARPA, CMU
   1. 1990 Scott Dietzen [Carnegie-Mellon University] ( )
   2. 1991 Rod Nord [Carnegie-Mellon University] ( )
8. 1982 Pierre Wolper (Liège)
   Prof. Wolper, Liège.
   1. 1991 Marie-Jeanne Toussaint ( )
   2. 1992 Froduald Kabanza ( )
   3. 1994 Patrice Godefroid ( )
   4. 1998 Bernard Boigelot ( )
9. 1983 Ben Moszkowski (Cambridge, De Montfort <>>
   Prof. Moszkowski, Cambridge; De Montfort.
   at Cambridge
   1. 1988 Roger Hale ( )
      at De Montfort
   2. 2002 Arun Chakrapani Rao (OFFIS, Oldenburg, Germany <Arun.Rao at offis.de>)
   3. 2002 Jordan Dimitrov ( )
10. 1985 Yoni Malachi ( )
11. 1986 Martin Abadi ( )
12. 1988 Marianne Baudinet ( )
13. 1991 Rajeev Alur (U.Penn)
    Prof. Alur, U.Penn.
    1. 2001 Salvatore La Torre ( )
    2. 2001 Bow-Yaw Wang ( )
14. 1991 Tom Henzinger [married Monika Rauch, in Floyd line] (Cornell [UC Berkeley)
Prof. Henzinger, Cornell; UC Berkeley.
at Cornell
1. 1995 Pei-Hsin Ho ( )
2. 1996 Peter Kopke ( )
   at UC Berkeley
3. 1999 Shaz Qadeer ( )
4. 1999 Sriram Rajamani ( )
5. 2002 Freddy Mang ( )
6. 2003 Rupak Majumdar ( )
15. 1994 Eddie Chang ( )
16. 1995 Hugh McGuire (UCSB )
17. 1995 Anuchit Anuchitanukul ( )
18. 1997 Arjun Kapur ( )
19. 1997 Luca de Alfaro ( )
20. 1998 Nikolaj S. Bjorner ( )
21. 1998 Tomas E. Uribe ( )
22. 1999 Henny B. Sipma ( )
23. 2002 Bernd Finkbeiner ( )