Richard A. Shore : Curriculum Vitae

Education

• A. B. Summa cum laude in Mathematics, Harvard University, 1968.
• Ph.D. in Mathematics, M.I.T., 1972.

Employment

• M.I.T., Teaching Assistant, 9/68-6/72.
• University of Chicago, Instructor, 10/72-9/74.
• Cornell University, Assistant Prof., 7/74-6/78; Associate Prof., 7/78-3/83; Prof., 4/83-.
• University of Illinois, Chicago, Assistant Professor, 1/77-8/77.
• University of Connecticut, Storrs, Visiting Associate Professor, 9/79-12/79.
• M.I.T., Visiting Associate Professor, 1/80-5/80.
• Hebrew University of Jerusalem, Visiting Professor, 9/82-6/83.
• University of Chicago, Visiting Professor, 2/87.
• University of Sienna, Italy, Visiting Professor, 5/87.
• MSRI, Berkeley, Member, 1989-1990.
• Harvard University, Visiting Scholar, 1/97-6/97.
• M.I.T., Visiting Scholar, 1/97-6/97.
• National University of Singapore, Distinguished Visiting Professor, 12/99-1/00.
• Harvard University, Visiting Scholar, 1/02-7/02.
• IMS, National University of Singapore, member, 7/05.
• M.I.T., Visting Professor, 1/08-5/08.

Invited Talks

• Survey Lecture, Annual Meeting of the Assoc. for Symbolic Logic, Washington, D.C., January 1975.
• 20-minute talk, Special Session on Recursively Enumerable Sets and Degrees, AMS, Toronto, August 1976.
• Survey Lecture, 2nd Symposium on Generalized Recursion Theory, Oslo, June 1977.
• Hour lecture, Symposium in honor of S. Kleene, Madison, Wisconsin, June 1978.
• 20-minute talk, Special Session on Problems in logic arising in Mathematics, AMS, Providence, August 1978.
• Principal speaker, Logic Colloquium, Leeds, England, August 1979.
• Lecture series at UCLA including Hour lecture, UCLA Logic Meeting, January 1980.
• 20-minute talk, Special Session on Recursion Theory, AMS meeting, Kenosha, October 1980.
• Hour Lecture, Annual Meeting of Assoc. for Symbolic Logic, San Francisco, January 1981.
• Lecture Series, AMS Summer Research Institute in Recursion Theory, Ithaca, July 1982.
• 45-minute Lecture, International Congress of Mathematicians, Warsaw, August 1983.
• John Gergun Memorial Lecture, Duke University, April 1984.
  
• Hour Lecture, Third Biennial Greater Boston Logic Conference, M.I.T., April 1985.
• Lecture Series (2 weeks), Nanjing University, Nanjing, China, May 1985.
• Hour Lecture, Mid-Atlantic Logic Seminar, Ithaca, NY, October 1985.
• Hour Lecture, Recursion Theory Week, Oberwolfach, March 1989.
• Hour Lecture, Fifth Biennial Greater Boston Logic Conference, M.I.T., April 1989.
• 20-minute Talk, Special Session on Recursion Theory, AMS, Chicago, May 1989.
• 30-minute Talk, Structures in Complexity Theory, Eugene, Oregon, June 1989.
• Hour Lecture, Workshop on Set Theory and the Continuum, MSRI, October 1989.
• 20-minute talk, International Congress of Logic, Methodology and Philosophy of Science (ICLMPS), Uppsala, Sweden, August 1991.
• Hour Lecture, Annual Meeting of Assoc. for Symbolic Logic, Duke, March 1992.
• Hour Lecture, Latin American Logic Symposium, Bahia Blanca, Argentina, August 1992.
• 20 minute talk, Special Session on Pure and Applied Recursion Theory, AMS, Washington, April 1993.
• Hour lecture, The Sacks Symposium, Cambridge, MA, May 1993.
• Plenary lecture, Logical Foundations of Computer Science, St. Petersberg, July 1994.
• Lecture series, Summer School in Recursion Theory and Complexity Theory, Kobe, Japan, July-August 1994.
• 20-minute Talk, Special Session on Recursive and Feasible Mathematics, AMS, Orlando, January 1996.
• Two lectures, Recursion Theory Week, Oberwolfach, February 1996.
• Hour Lecture, Annual Meeting of Assoc. for Symbolic Logic, Madison, March 1996.
• Three Lecture Tutorial, Logic Colloqium '97, Leeds, Jully 1997.
• Hour Plenary Address, Workshop in Recursion Theory and Complexity Theory, Kazan, Russia, July 1997.
• Hour Talk, Special Session on Computable Mathematics and its Applications, AMS, Baltimore, January 1998.
• 20-minute Talk, Special Session on Computability Theory, AMS, Gainseville, April, 1999.
• 25-minute Talk, Special Session on Computability Theory, ASL, San Deigo, April, 1999.
• 45-Minute Talk, AMS Joint Summer Conference on Computability Theory and Applications, Boulder CO, June 1999.
• Hour Talk, International Congress of Logic, Methodology and Philosophy of Science (ICLMPS), Cracow, Poland, August 1999.
• Speaker, Panel on The Prospects for Mathematical Logic in the 21st Century, ASL Annual Meeting, Urbana, June, 2000.
• 35-minute Talk, Special Session on Reverse Mathemtics, ASL, Philadelphia, March, 2001.
• 25-minute Talk, Special Session on Computability Theory with Applications, AMS, San Diego, April, 2002.
• Hour Leture, Gathering in honor of Yiannis Moschovakis' 65th birthday, UCLA, January, 2003.
• 25-minute Talk, Special Session on Computability Theory and Effective Mathematics, ASL Annual Meeting, Chicago, June, 2003.
• Plenary Leture, Logic Colloquium '03, Helsinki, August, 2003.
• Three Lectures, Beijing Summer Workshop on Computation and Logic, Beijing, May, 2004.
• 20-minute Talk, Special Session on Computability Theory and Applications, AMS, Evanston IL, October, 2004.
• Hour Lecture, Midwest Model Theory Meeting (in honor of Carl Jockusch), UI, Urbana, December, 2004.
• 20-minute Talk, Special Session on Reverse Mathematics, AMS, Atlanta, January, 2005.
• Retiring Presidential Address, ASL, Stanford, March 2005.
• Hour Lecture, Computational Prospects of Infinity, IMS (NUS), Singapore, July, 2005.
• 40-minute lecture, MAMLS meeting in honor of Menachem Magidor's 60th birthday, Irvine, February, 2006.
• Plenary Lecture, SEALS, Gainseville, March, 2006.
• 30-minute Talk, Special Session on Computability Theory in honor of Manuel Lerman's retirement, AMS, Storrs CT, October, 2006.
• Hour Lecture, Logic, Computability and Randomness, Buenos Aires, January, 2007.
• Hour Lecture, Model theory and computable model theory, UF Special Year in Logic, Gainesville FL, February 2007.
• 30-minute Talk, Algorithmic-Logical Theory of Infinite Structures, Dagstuhl, October, 2007.
• Hour Lecture, Effective Mathematics of the Uncountable, New York NY, August 2008.

Also colloquia and seminar talks at many universities. Has been an invited participant at other conferences and has chaired sessions of invited talks at meetings of the AMS, ASL and ICLMPS.

Grants

• NSF Research Support Grants 1973-, (co-)principal investigator 1981-.
• Research Grant, NSF, U.S.-Greece Cooperative Science Program, 1981-85.
• Research Grant, NSF, U.S.-Italy Cooperative Research Program, 1986-89.
• Research Grant: U.S.-Israel Bi-national Science Foundation 1986-90.
• NSF grant "Support of Latin American participation in the Year in Mathematical Logic at MSRI" (Science in Developing Countries Program) 1989-90 (PI).
• Research Grant: U. S.-New Zealand Cooperative Research Program, 1991-95.
• Logical Methods in Mathematics and Computer Science: A symposium in Honor of Anil Nerode's Sixtieth Birthday, NSF, Special Projects, 1992 (PI).
• Latin American Logic Symp., NSF, Science in Developing Countries Program, 1992 (PI).
• Research Grant: U. S.-New Zealand Cooperative Research Program, 1997-00 (PI).
• Templeton Foundation, sabbatical support, 2009-2010.

Editorial Boards

• Consulting Editor, Journal of Symbolic Logic, 1980-1983.
• Editor, Journal of Symbolic Logic, 1984-93.
• Coordinator of Editorial Board, Journal of Symbolic Logic, 1989-91.
• Managing Editor, Bulletin of Symbolic Logic, 1993-2000 .
• Editor, Studies in Logic and the Foundations of Mathematics, North-Holland, 1996-2007.

Organizing and Program Committees

• Organizing committee (co-chair), AMS Summer Research Institute in Recursion Theory, 1982.
• Program Committee (chair), Annual Meeting of the Assoc. for Symbolic Logic, 1988-89.
• Organizing Committee, Logic Year at MSRI, Berkeley, CA, 1989-90.
• Organizing Committee, Third Logical Biennial, Bulgaria, June 1990.
• Organizing Committee, Symposium on Logical Methods in Mathematics and Computer Science: A symposium in Honor of Anil Nerode's Sixtieth Birthday, Ithaca, NY, June 1991.
• Organizing Committee, Latin American Logic Symposium, Bahia Blanca, Argentina, July 1992.
• Program Committee, Logic Coloquium '95, Haifa, Israel, August 1995.
• Co-chair, Special session on computability theory, Logic Colloquium '97, Prague, August 1998.
• Co-chair, AMS Joint Summer Conf. on Computability Theory and Applications, Boulder CO, June 1999.
• Program Committee, ASL Annual Meeting, Philadelphia, 2001.
• Organizing Committee, Logic in Computer Science, 2003-4.
• Program Committee, TAMC 2006 (Theory and Applications of Models of Computation 2006), Chinese Academy of Sciences, Beijing, May, 2006.
• Program Committee, Logic Colloquium '06, Nijmegen, Netherlands, July, 2006.
• Organizing Committee, Computability, Reverse Mathematics and Combinatorics, BIRS, Banf, Decmeber, 2008.

Other Professional Activities

• Member of several professional societies.
  • American Mathematical Society
  • Association for Symbolic Logic
  • Association for Computing Machinery
  • SIGACT
  • Phi Beta Kappa
  • Sigma Chi
• Refereeing and reviewing for several organizations.
  • the National Science Foundation
  • the National Research Council
  • the Natural Sciences and Engineering Research Council of Canada
  • the U. S.-Israel Binational Science Foundation
  • the New Zealand Mathematical Society Research Awards Program
  • the International Science Foundation
  • various journals
• Outside thesis examiner, U. Toronto, U. Chicago and U. Heidelberg.
• Member of ASL committee on reviews 1975-76.
• Member of Review Panel for NSF Program in Foundations and Logic, 1980; other NSf panels over the years.
• Member, Council of the Association for Symbolic Logic, 1984-.
• Nominating Committee, Association of Symbolic Logic, 1989 (chair), 1994, 2006 (chair).
• Chairman, ASL Standing Committee on Meetings, 1992-3.
• Member, Publications Committee, Association of Symbolic Logic, 1994-.
• Chairman, ASL Committee on Electronic Publication, 1997-.
• Chairman, ASL Committee on Revising the Math. Reviews Subject Index in Logic, 1997.
• President, ASL 2001-04.
• Project Eulcid Board Member, 2002- .
• Publisher, Association for Symbolic Logic, 2008-.

Ph.D. Theses Directed

1. David A. Odell, Trace Constructions in alpha-Recursion Theory (1983). (Now at Insureware Pty. Ltd., Melbourne, Australia.)
2. Christine A. Haught, Turing and Truth-table Degrees of 1-Generic and Recursively Enumerable Sets (1985). (Now Associate Professor, Loyola University, Chicago, IL.)
3. Mark F. Simpson, Arithmetic Degrees: Initial Segments, omega-REA Operators and the omega-jump (1985). (Now Manager, Imaging Architectures, Apple Computer, Santa Clara, CA.)
4. Steven Kautz, Degrees of Random Sets (1991). (Now at NewMonics Inc., Tucson AZ.)
5. Yue Yang, Priority Arguments and Reverse Mathematics (1992). (Now Associate Professor, National University of Singapore.)
6. David Reed Solomon, The Reverse Mathematics of Ordered Groups (1998) (.dvi version).(Now Associate Professor, University of Connecticut, Storrs.)
7. Denis Hirschfeldt, Degree Spectra of Relations on Computable Structures (1999) (.dvi version). (Now Professor, University of Chicago.)
8. Walker White, Characterizations for Computable Structures (2000) (.dvi version). (Now Reserach Associate, Computer Science, Cornell University.)
9. Noam Greenberg, The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (2004) (.dvi version, .pdf version). (Now Lecturer, Victoria University, Wellington, New Zealand.)
10. Yuval Gabay, Double Jump Inversions and Strong Minimal Covers in the Turing Degrees (2004) (.dvi version, .pdf version). (Now working in industry in Israel.)
11. Antonio Montalbán, Beyond the Arithmetic (2005) (.dvi version, .ps version all versions here single spaced). (Now Assistant Professor, University of Chicago.)
12. Michael O'Connor, Using Automata to Investigate Intuitionistic Propositional Logic (2008). (Now at Jane Capital, New York NY.)

Postdoctoral Fellows Sponsored (Ph.D. (or previous) institution)

1. Klaus Ambos-Spies (University of Munich), 1980-81.
2. Dong-Ping Yang (Academica Sinica), Distinguished Scholar Exchange Program of the Committee for Scholarly Communications with the PRC, 1981-82.
3. Peter Fejer (University of Chicago), NSF postdoctoral fellow, 1981-83.
4. Robert Lubarsky (M.I.T.), NSF postdoctoral fellow, 1984-87.
5. Paul Fischer (University of Bielefeld), 1986-87.
6. Peter Cholak (University of Wisconsin), NSF postdoctoral fellow, 1993-94.
7. Yufei Sui (Academica Sinica), 1993.
8. André Nies (Univeristy of Heidelberg), 1994.
9. Russell Miller (University of Chicago), NSF VIGRE postdoctoral fellow, 2000-03.
10. Barbara Csima (University of Chicago), H.C. Wang Assistant Professor, 2003-05.
11. Bjorn Kjos-Hanssen (University of California, Berkeley), 2006-07.
12. Francois Dorais (Dartmouth), 2007-08.