📄 database.txt
字号:
# Theory of Computation Ph.D. Genealogy Database# Last Updated July 22, 1996## The original version of this database was created by David Johnson. See# D. S. Johnson, "The Genealogy of Theoretical Computer Science", SIGACT News,# Vol. 16, No. 2, pp. 36-44, 1984. Reprinted in Bulletin of the EATCS, No. 25,# pp. 198-211, 1985.## Maintained by Ian Parberry. Email updates to pedigree@hercule.csci.unt.edu,# queries to ian@ponder.csci.unt.edu.## Available on the world-wide web as a hypertext document# at URL http://hercule.csci.unt.edu/genealogy## Modification log:# July 21-22, 1996# Vanilla update. Fixed 2 bugs in web pages: improper pointers# due to failure to strip (1) accents, (2) question marks in adviser name.# October 9, 1995# Updated scripts to allow underscore (_) in compound last-names,# for example, Peter van_Emde_Boas, Friedhelm Meyer_auf_der_Heide.# This ensures they get alphabetized correctly. Underscores get# mapped to spaces in the web pages.# September 8, 1995# Vanilla update.# February 9, 1995# Added new entries. Wrote shell script to list multiple uses of# last name, and found many people listed under different names# (eg nickname, abbreviation, initials). Corrected those entries.# October 21, 1994# completed updates received up to today# axed system of labelling new and updated entries with + and *# WWW version of database created# October 7, 1994:# the following work was done to expedite computer processing of database:# added # character in front of header information# fixed some formatting problems (tabs messed up in places)# removed some problems with people listed under multiple variants of name# March 26, 1993:# new entries completed, some tidying up done##STUDENT ADVISOR PLACE AND DATE OF PHDStal Aanderaa Hao Wang Harvard 1967Lars Aarvik ? Oslo ?Martin Abadi Zohar Manna Stanford 1987James Abbott Richard Brent ANU 1977Serge Abiteboul Seymour Ginsburg USC 1982Karl Abrahamson Michael J. Fischer Washington 1980Hosame Abu-Amara Michael Loui UIUC 1988John Addison Stephen Kleene Wisconsin 1955Len Adleman Manuel Blum Berkeley 1975?P.W. Adriaans Peter van_Emde_Boas Amsterdam UvA 1992Valery Agafonov Boris Trakhtenbrot Novosibirsk ?Richa Agarwala David Fernandez-Baca Iowa State 1994Alok Aggarwal Joseph O'Rourke Johns Hopkins 1984Shmuel Agmon Scholem Mandelbrojt Paris 1949Ajit Agrawal Philip Klein Brown 1992Al Aho John Hopcroft Princeton 1967Bill Aiello Shafi Goldwasser MIT 1988Howard Aiken E.L. Chaffee Harvard 1939Miklos Ajtai Andras Hajnal Eotvos 1976Varol Akman William Randolph Franklin RPI 1985Romas Aleliunas Stephen Cook Toronto ?Farid Alizadeh J.B. Rosen Minnesota 1991Brian Allen Ian Munro Waterloo 1977Eric Allender Kimberly King Georgia Tech 1985Helmut Alt Kurt Mehlhorn Saarbruecken 1976Lorenzo Alvisi Keith Marzullo Cornell 1996Nancy Amato Franco Preparata UIUC 1995Vardi Amdursky Eli Shamir Hebrew ?Nina Amenta Raimund Seidel Berkeley 1994Foued Ameur Friedhelm Meyer_auf_der_Heide Paderborn 1995Amihood Amir Dov Gabbay Bar Ilan 1983D.G.M. Anderson M. Krook Harvard 1963R.J. Anderson Ernst W. Mayr Stanford 1985Arne Andersson Svante Carlsson Lund 1990Greg Andrews Alan Shaw Washington 1974Jamie Andrews Don Sannella Edinburgh 1991Agnis Andzans Rusins Martins Freivalds Latvia ?Dana Angluin Manuel Blum Berkeley 1976Fred Annexstein Arny Rosenberg Massachusetts 1990? Apers ? van_de_Riet ? 1982David Applegate Ravi Kannan CMU 1991Krzysztof Apt Andrzej Mostowski Warsaw 1974Lars Arge Erik Meineche Schmidt Aarhus 1996Eshrat Arjomandi Derek G. Corneil Toronto 1975?Dmitry Arkhangelsky Mikhail Taitslin Tver 1993Sanjeev Arora Umesh Vazirani Berkeley 1994Robert Ashenhurst Howard Aiken Harvard 1956James Aspnes Steven Rudich CMU 1992Bengt Aspvall Robert E. Tarjan Stanford 1980Mikhail Atallah Rao Kosaraju Johns Hopkins 1982Hagit Attiya Danny Dolev Hebrew 1987Franz Aurenhammer Herbert Edelsbrunner Graz 1985Gideon Avrahami Vaughan Pratt Stanford 1994Baruch Awerbuch Shimon Even Technion 1984Paul Axt Stephen Kleene ? ?Yossi Azar Noga Alon Tel-Aviv 1989Salman Azhar John Reif Duke 1994Pieter Cornelis Baayen J. de_Groot Amsterdam UvA 1964Laszlo Babai Paul Turan Eotvos 1975Laszlo Babai Vera Sos Eotvos 1975Eric Bach Manuel Blum Berkeley 1984Leo Bachmair Nachum Dershowitz UIUC 1987Ralph-Johan Back Martti Tienari Helsinki 1978Norman I. Badler John Mylopoulos Toronto 1975Jos Baeten W. Richter Minnesota 1985Ricardo Baeza-Yates Gaston Gonnet Waterloo 1989Chandrajit Bajaj John Hopcroft Cornell ?Brenda Baker Ron Book Harvard 1973Ted Baker Juris Hartmanis Cornell 1974Miriam Balaban Eli Shamir Weizmann ?Jose Balcazar Josep Diaz Barcelona 1984M.L. Balinsky Albert Tucker Princeton 1951Amotz Bar-Noy Danny Dolev Hebrew 1987Eduardo F. Barbosa Nivio Ziviani Minas Gerais 1995Eduardo F. Barbosa Ricardo Baeza-Yates Minas Gerais 1995Henk Barendregt Georg Kreisel Utrecht 1971David Mix Barrington Michael Sipser MIT 1986Yair Bartal Amos Fiat Tel-Aviv 1993Janis Barzdins Boris Trakhtenbrot Novosibirsk ?Joe Bates Alan Demers Cornell 1979Giuseppe Di Battista Carlo Batini Rome 1991G.M. Baudet H.T. Kung CMU 1978Marianne Baudinet Zohar Manna Stanford 1989Aime J. Bayle Forouzan Golshani Arizona State 1992Rida Bazzi Gil Neiger Georgia Tech 1994Robert Beals Laszlo Babai Chicago 1993Paul Beame Stephen Cook Toronto 1987John Beatty Michael Harrison Berkeley 1977Donald Beaver Michael O. Rabin Harvard 1990John Beebee Victor Klee Washington 1972Catriel Beeri Eli Shamir Hebrew 1975Richard Beigel John Gill Stanford 1988L.W. Beineke Frank Harary Michigan 1965Mihir Bellare Silvio Micali MIT 1991Richard Bellman Solomon Lefschetz Princeton 1946Amir Ben-Amram Zvi Galil Tel-Aviv 1995Moti Ben-Ari Amir Pnueli Tel-Aviv 1981Michael Ben-Or Michael O. Rabin Hebrew 1982?J.D.C. Benaloh Michael J. Fischer Yale 1987? Benison Robert Soare Chicago 1977?Gary Benson Amihood Amir Maryland 1992Samuel Bent Robert E. Tarjan Stanford 1982Jon Bentley Donald Stanat North Carolina 1976Jan A. Bergstra Dirk van_Dalen Utrecht 1976Hans Berliner Allen Newell CMU 1974Fran Berman Bob Ritchie Washington 1979?Len Berman Juris Hartmanis Cornell 1977Piotr Berman Albert Meyer MIT 1985Marshall Bern Gene Lawler Berkeley 1987Phil Bernstein D. Tsichritzis Toronto 1975Andre Berthiaume Gilles Brassard Montreal 1995Eike Best Brian Randell Newcastle upon Tyne 1981Eike Best Peter E. Lauer Newcastle upon Tyne 1981Sandeep Bhatt Charles E. Leiserson MIT 1984Nicole Bidoit Serge Abiteboul Paris XI ?? Biezeno --- --- ---Gianfranco Bilardi Franco Preparata UIUC 1985G.D. Birkhoff E.H. Moore ? ?Garrett Birkhoff --- --- ---Alex Birman Jeffrey Ullman Princeton 1970James Bitner Ed Reingold UIUC 1976Iliana Bjorling-Sachs Diane Souvaine Rutgers 1993Kenneth Blaha Eugene Luks Oregon 1989Jean Blair Errol Lloyd Pittsburgh 1986J.O. Blanco Jos Baeten Eindhoven TUE 1996Robert Bland D.R. Fulkerson Cornell 1974Meera Blattner Sheila Greibach UCLA 1973Woody Bledsoe A. P. Morse Berkeley 1953?Guy Blelloch Charles E. Leiserson MIT 1989G.A. Bliss Oskar Bolza Gottingen ?Stephen Bloch Sam Buss UCSD 1992Peter Bloniarz Albert Meyer MIT 1977Avrim Blum Ronald L. Rivest MIT 1991Lenore Blum Gerald Sacks MIT 1969Manuel Blum Marvin Minsky MIT 1966?Richard F. Blute Andre Scedrov Penn 1991Raymond Board Lenny Pitt UIUC 1990Hans Bodlaender Jan van_Leeuwen Utrecht 1986Hans Boehm Alan Demers Cornell 1984Oskar Bolza Karl Weierstrass ? ?Maria Paola Bonacina Jieh Hsiang SUNY Stony Brook 1992Maria Luisa Bonet Sam Buss Berkeley 1991Richard J. Bonneau Michael J. Fischer MIT 1974Ron Book Sheila Greibach Harvard 1969William Boone Alonzo Church Princeton 1952Kelly Booth Dick Karp Berkeley 1975Ravi Boppana Michael Sipser MIT 1986V.A.J. Borghuis Jos Baeten Eindhoven TUE 1994Richard Borie Craig Tovey Georgia Tech 1988Richard Borie Gary Parker Georgia Tech 1988Allan Borodin Juris Hartmanis Cornell 1969Karol Borsuk Stefan Mazurkiewicz Warsaw 1931W. Bosma Peter van_Emde_Boas Amsterdam UvA 1990Joan Boyar Manuel Blum Berkeley 1983Robert Boyer Woody Bledsoe UT Austin 1971Dan Brand Stephen Cook Toronto 1976Nikolai Dmitrievich Brashman ? von_Littrov ? ?Gilles Brassard John Hopcroft Cornell 1979David Bray J.A. Robinson Syracuse 1970Seth Breidbart Ron Book Yale 1978Richard Brent Gene Golub Stanford 1971Richard Brent George Forsythe Stanford 1971Andrei Broder Donald E. Knuth Stanford 1985Andrej Brodnik Ian Munro Waterloo 1995Fred Brooks Howard Aiken Harvard 1956Felix Browder Solomon Lefschetz Princeton 1948Cynthia Brown A. Blass Michigan 1977Donna Brown Peter Elias MIT 1978John Brown David Gries Cornell 1972Mark Brown Donald E. Knuth Stanford 1979?Sally Browning Carver Mead Caltech 1980Manfred Broy F.L. Bauer Munich IT 1980Kim Bruce H.J. Keisler Wisconsin 1975John Bruno Lou Weinberg CCNY 1968Anna Bruss B.K.P. Horn MIT 1980Adam L. Buchsbaum Robert E. Tarjan Princeton 1993Mark Buckingham Martin Golumbic Courant 1980Anatoli Buda A.P. Ershov Novosibirsk 1975Navin Budhiraja Keith Marzullo Cornell 1993Khaled Bugrara Paul Purdom Indiana U 1986Harry Buhrman Leen Torenvliet Amsterdam UvA 1993Harry Buhrman Peter van_Emde_Boas Amsterdam UvA 1993Harry Buhrman Steven Homer Amsterdam UvA 1993Thang Bui Tom Leighton MIT 1986William Bultman Wolfgang Maass UIC 1991Peter Buneman E. C. Zeeman Warwick 1970H. Bunt Brandt Corstius ? 1981Jennifer J. Burg Charles E. Hughes UCF 1993Rainer Burkard Edmund Hlawka Vienna 1967Walter Burkhard P. Varaiya Berkeley 1969James Burns Nancy Lynch Georgia Tech 1980James Burns Rich DeMillo Georgia Tech 1980Jonathan Buss Michael Sipser MIT 1986Sam Buss Simon Kochen Princeton 1985Jean Butler Victor Klee Washington 1972? Buys ? Zoutendijk ? 1972Cezar Câmpeanu Cristian S. Calude Bucharest 1995Jean-Marie Cadiou Zohar Manna Stanford 1972Jin-yi Cai Juris Hartmanis Cornell 1986Rob Calderbank Marshall Hall Caltech 1980Paul Callahan Rao Kosaraju Johns Hopkins 1995Cristian S. Calude Solomon Marcus Bucharest 1977David Carlson John Savage Brown 1981Svante Carlsson Rolf Karlsson Lund 1986Jack Carlyle A. Thomasian Berkeley 1962Larry Carter Berlekamp Berkeley 1974John Case Tom McLaughlin UIUC 1969Ross Casley Vaughan Pratt Stanford 1991Bob Caviness Alan Perlis CMU 1967Pedro Celis Ian Munro Waterloo 1986Pedro Celis Paul Larson Waterloo 1986Karlis Cerans Janis Barzdins Latvia ?Seth Chaiken Dan Kleitman MIT 1980?Tat-hung Chan Bob Constable Cornell 1980William Chandler Seymour Ginsburg USC 1969Ashok Chandra Zohar Manna Stanford 1973Tushar D. Chandra Sam Toueg Cornell 1993Chen-Chung Chang Alfred Tarski Berkeley 1955Jik Chang Oscar H. Ibarra Minnesota 1986Richard Chang Juris Hartmanis Cornell 1991Min Te Chao John Franco Case Western Reserve 1984Bruce W. Char Richard J. Fateman Berkeley 1980Witold Charatonik Leszek Pacholski Wroclaw 1995Shiva Chaudhuri Ravi Boppana Rutgers 1991Soma Chaudhuri Richard Ladner Washington 1990Surajit Chaudhuri Jeffrey Ullman Stanford 1991Bernard Chazelle David Dobkin Yale 1980Thomas E. Cheatham --- --- ---Pafnuty Lvovich Chebyshev Nikolai Dmitrievich Brashman St. Petersburg 1849Brad Chen Doug Tygar CMU 1994Jingsen Chen Svante Carlsson Lund 1993Keh-Jian Chen John Case Buffalo ?Wen-Chin Chen Jeff Vitter Brown 1985Yui-Bin Chen Doug Ierardi USC 1995Siu Wing Cheng Ravi Janardan Minnesota 1992John Cherniavsky Bob Constable Cornell 1972Paul Chew Mike O'Donnell Purdue 1981L. Chiaraviglio A. Hartzhorn Emory 1959Andrew Chin W.F. McColl Oxford 1991Francis Chin Kenneth Steiglitz Princeton 1975Donald Chinn Martin Tompa Washington 1995Jawahar Chirimar Dale Miller Penn 1995Yookun Cho Sartaj Sahni Minnesota ?Jan Chomicki Tomasz Imielinski Rutgers 1990Benny Chor Ronald L. Rivest MIT 1985Yaacov Choveka Michael O. Rabin Hebrew 1972Claude-Andre Christen Ernst Specker ETH Zurich 1974Jeff Chu Georg Schnitger Penn State 1988Fan Chung Herb Wilf Penn 1974M.-J. Chung Hal Sudborough Northwestern 1981Alonzo Church Oswald Veblen Princeton 1927W. Chvatal C. Nash-Williams Waterloo 1973Edmund Clarke Bob Constable Cornell 1976Ken Clarkson Andy Yao Stanford 1984V. Claus Gunther Hotz Saarbruecken 1970John Cleave Andrew Booth London ?Rance Cleaveland Bob Constable Cornell 1987Peter Clote J.R. Shoenfield Duke 1979Brian Coan Nancy Lynch MIT 1987Alan Cobham --- --- ---E.F. Codd John H. Holland Michigan 1963J.A.A. Coenen Jos Baeten Eindhoven TUE 1994Ed Coffman Leonard Kleinrock UCLA 1966Daniel Cohen Eli Shamir Hebrew ?Robert Cohen Roberto Tamassia Brown 1992Charles Colbourn Derek G. Corneil Toronto 1979?Richard Cole John Hopcroft Cornell 1982George Collins Barkley Rosser Cornell 1955Doug Comer Ravi Sethi Penn State 1976K.T. Compton O.W. Richardson Princeton 1912Anne Condon Richard Ladner Washington 1987Tim Connors Seymour Ginsburg USC 1984Bob Constable Stephen Kleene Wisconsin 1968Curtis Cook Steve Hedetniemi Iowa 1970Stephen Cook Hao Wang Harvard 196?Arthur H. Copeland_Jr Norman Steenrod Princeton ?⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -