Richard A. Shore: Curriculum Vitae

Richard A. Shore : Curriculum Vitae

Education
Employment
Invited Talks
Honors and Grants
Editorial Boards
Organizing and Program Committees
Other Professional Activities
Ph.D. Theses Directed
Postdoctoral Fellows Sponsored
Publications

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-6/13;
Goldwin Smith Professor of Mathematics, 7/13-6/20, thereafter Emeritus.
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.
University of Chicago, Visiting Professor, 2-3/09.
University of Sienna, Italy, INDAM-GNSAGA Visiting Prof., 4-5/09.
National University of Singapore, Visiting Professor 6-7/11.
Isaac Newton Institute for Mathematical Sciences, Cambridge UK, Visting Fellow, June, 2012.

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.
40-minute Talk, Special Session on Relative Computability, CiE, Heidelberg, July, 2009.
Gödel Lecture, Logic Colloquium '09, ASL, Sofia, August, 2009.
30-minute Talk, Reverse Mathematics: Foundations and Applications, Chicago, November 2009.
40-minute Talk, Workshop on Computability Theory 2010, Paris, July, 2010.
20-minute Talk, Special Session on Computability and Its Applications, AMS, Notre Dame, November 2010.
30-minute talk, Special session, Definability throughout Mathematical Logic in honor of Leo Harrington, ASL North American Annual Meeting, Berkeley, March 2011.
Hour Lecture, Computability Theory and Applications, A Meeting in Honor of Robert I. Soare, Chicago, May 2011.
30-minute talk, Ramsey Theory in Logic, Combinatorics and Complexity, Bertinoro, Italy, May, 2011.
Short Course, The structure of the Turing degrees, Asian Initiative for Infinity (AII) Graduate Summer School, Singapore, June 2011.
Hour Lecture, Reverse Mathematics Workshop, Chicago, September, 2011.
Hour Lecture, Degrees and Randomness, A meeting in honor of Klaus Ambos-Spies on the occasion of his 60th birthday, University of Heidelberg, February, 2012.
Lead Lecture, Computability Theory, Mathematisches Forschungsinstitut Oberwolfach, February, 2012.
20-minute Talk, Special Session on Computable Mathematics (in honor of Alan Turing), AMS, Washington DC, March 2012.
30-minute talk, The Incomputable, The Royal Society, Chicheley Hall, Newport Pagnell UK, June 2012.
40-minute Talk, Special Session in Honor of Anil Nerode, LFCS, San Diego, January 2013.
20-minute Talk, Special Session on Effective Algebra and Model Theory, AMS, San Diego, January, 2013.
45-minute Talk, Special Session on Recursion and Definability, AMS, Boston, April, 2013.
40-minute Talk, Special Session on Computable Structure Theory and Computable Model Theory, ASL, Waterloo, May 2013.
Hour Lecture, Sets and Computations: Computability theory, Institute for Mathematical Sciences, National University of Singapore, April 2015.
40-minute Talk, Special Session on Computability Theory, Logic Colloquium 15, Helsinki, August 2015.
Hour Lecture, The Foundational Impact of Recursion Theory 2016 In honor of Steve Simpson's 70th birthday, University of Connecticut at Storrs, May, 2016.
Hour Lecture, joint NERDS and MAMLS meeting, Wellesley College, November, 2016.
35 minute talk, Computability and Complexity Symposium 2017 in honour of Rod Downey's 60th birthday, Ruamti, New Zeland, January, 2017.
Plenary Talk, Computability Theory and Applications, Waterloo, Canada, June 2018.
Hour Lecture, Workshop on Ramsey Theory and Computability, Rome, Italy, July, 2018.
Hour Lecture, RaTLoCC 2018: Ramsey Theory in Logic, Combinatorics and Complexity, Bertinoro, Italy, July, 2018.
20-minute Talk, Special Session on Computability, Complexity, and Learning, AMS, Honolulu, March, 2019.
Hour Lecture, Higher Recursion Theory and Set Theory (in honor of Theodore Slaman and Hugh Woodin), IMS and NUS, Singapore May-June 2019.
30-minute Talk, Workshop on Computability in Honor of Steffen Lempp's 60th Birthday, Madison, September 2019.
40-minute Talk, NSF-FRG meeting on reverse mathematics of combinatorial principles, May, 2020, Penn State University. Canceled due to Covid-19.
50-minute Talk, Leeds Computability Days 2020 June, 2020, Leeds, UK. Canceled due to Covid-19.
45-minute Talk, Computability Theory Workshop, Mathematisches Forschungsinstitut Oberwolfach, April 2021 (on zoom).
40-minute Talk, Special Session on Computability Theory, ASL North American Annual Meeting, Cornell University, April 2022.
45-minute Talk, Definability, Computability, and Model Theory: A Special Session dedicated to Gerald E. Sacks, Joint Mathematics Meetings, Boston, January 2023.
Two Hour Lectures, The Tarski Lectures, Universty of California, Berkeley, April, 2023.
Hour Lecture, Computability and Combinatorics 2023, Universtiy of Connecticut, Hartford, May 2023.
Hour Lecture, From ω to Ω, IMS (NUS), Singapore, June, 2023.
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, CiE and ICLMPS, etc.

Honors and Grants
- Topics in Computability: A Meeting in Honor of Richard A. Shore, M.I.T., January 21-22, 2007.
- Gödel Lecturer , Association for Symbolic Logic, 2009.
- Fellow of the American Mathematical Society, (Inaugural Class) 2012.
- Goldwin Smith Professor of Mathematics, 2013.
- The Alfred Tarski Lecturer, Universty of California, Berkeley, April, 2023.
- NSF Research Support Grants 1973-2017, (co-)principal investigator 1981-2017.
- 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.
  - Publisher, Association for Symbolic Logic, 2008-.
  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.
  - Program Committee, Algebra and Mathematical Logic: Theory and Applications, Kazan, June 2014.
  - Organizing Committee, New challenges in reverse mathematics, IMS, Singapore, January 3-16, 2016.
  Other Professional Activities
  - Member of several professional societies.
    - American Mathematical Society
    - Association for Symbolic Logic
    - Association for Computing Machinery
    - SIGACT, SIGLOG
    - Phi Beta Kappa
    - Sigma Chi
  - Refereeing and reviewing for several organizations.
    - National Science Foundation
    - National Research Council
    - Natural Sciences and Engineering Research Council of Canada
    - The Royal Society (U.K.)
    - U. S.-Israel Binational Science Foundation
    - New Zealand Mathematical Society Research Awards Program
    - International Science Foundation
    - Engineering and Physical Sciences Research Council (UK)
    - Austrian Science Fund
    - SPMS, Nanyang Technological University
    - Marsden Fund (New Zeland)
    - AMS
    - NSA
    - Simons Foundation
    - other organizations in Austria, Canada, England, E. U., New Zealand, Singapore and 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 for Symbolic Logic, 1989 (chair), 1994, 2006 (chair), 2012, 2013.
  - Chairman, ASL Standing Committee on Meetings, 1992-3.
  - Member, Publications Committee, Association for Symbolic Logic, 1994-.
  - Chairman, ASL Committee on Electronic Publication, 1997-.
  - Chairman, ASL Committee on Revising the Math. Reviews Subject Index in Logic, 1997.
  - Member or chairman of various other ad-hoc ASL committees over the years.
  - President, ASL 2001-04.
  - Project Eulcid Board Member, 2002-13.
  - Invited (and sponsored) participant, Cambridge Partners Summit, Cambridge University Press, Cambridge U.K., November, 2018.
  - Publisher, Association for Symbolic Logic, 2008-.
  Ph.D. Theses Directed
  1. David A. Odell, Trace Constructions in alpha-Recursion Theory (1983). (Now Senior Statictician 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 President and Chief Executive Officer of Triveni Digital.)
  4. Steven Kautz, Degrees of Random Sets (1991). (Now Teaching Professor, Department of Computer Science, Iowa State University.)
  5. Yue Yang, Priority Arguments and Reverse Mathematics (1992). (Now Professor, National University of Singapore.)
  6. David Reed Solomon, The Reverse Mathematics of Ordered Groups (1998) (.dvi version).(Now Professor, University of Connecticut, Storrs.)
  7. Denis Hirschfeldt, Degree Spectra of Relations on Computable Structures (1999) (.dvi version). (Sacks Prize Winner; Shoenfield Prize of the Association for Symbolic Logic (2010 and 2016). Now Professor, University of Chicago.)
  8. Walker White, Characterizations for Computable Structures (2000) (.dvi version). (Now Director of the Game Design Initiative at Cornell, Computer Science, Cornell University.)
  9. Noam Greenberg, The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (2004) (.dvi version, .pdf version). (Rutherford Discovery Fellow 2011-15; Turing Research Fellow 2012-15; Fellow of the Royal Society of New Zealand (2017), now Professor, 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). (Sacks Prize Winner; AMS Centennial Fellow; Packard Fellow. Now Professor, University of California, Berkeley.)
  12. Wojciech Tomasz Moczydlowski, Investigations on Sets and Types (2007), secondary advisor; primary: Robert Constable, Computer Science. (Sacks Prize Winner, now at Google).
  13. Michael O'Connor, Using Automata to Investigate Intuitionistic Propositional Logic (2008). (Now at Jane Capital, New York NY.)
  14. Paul Shafer, On the Complexity of Mathematical Problems: Medvedev Degrees and Reverse Mathematics (2011) (single space version, ps version, dvi version). (Now Associate Professor, University of Leeds.)
  15. Mingzhong Cai, Elements of Classical Recursion Theory: Degree-Theoretic Properties and Combinatorial Properties (2011) ( single space version, ps version, dvi version). (Sacks Prize Winner. Now working in the Chinese financial sector.)
  16. David Belanger, Sets, Models, and Proofs: Topics in the Theory of Recursive Functions (2015) ps version. (Now Postdoctoral Fellow, Department of Mathematics, University of Ghent, Belgium)
  17. James Barnes, Decidability in the Hyperdegrees and a Theorem of Hyperarithmetic Analysis (2018). (Now Lecturer, Yale University)
  18. Jun Le Goh, Measuring the Relative Complexity of Mathematical Constructions and Theorems (2019), (Now Assistant Professor, National University of Singapore).
  Postdoctoral Fellows Sponsored (Ph.D. (or previous) institution); current institution
  1. Klaus Ambos-Spies (University of Munich), 1980-81. Now Professor and Head, Workgroup Mathematical Logic and Theoretical Computer Science, University of Heidelberg.
  2. Dong-Ping Yang (Academica Sinica), Distinguished Scholar Exchange Program of the Committee for Scholarly Communications with the PRC, 1981-82. Now retired from Academica Sinica, Beijing.
  3. Peter Fejer (University of Chicago), NSF postdoctoral fellow, 1981-83. Professor and Chair, Department of Computer Science, University of Massachusetts at Boston, now retired and Professor Emeritus.
  4. Robert Lubarsky (M.I.T.), NSF postdoctoral fellow, 1984-87. Now, Uiversity Instructor, Dept. of Mathematical Sciences, Florida Atlantic University.
  5. Paul Fischer (University of Bielefeld), 1986-87. Now Associate Professor, Head of Algorithms, Logic, and Graphs Section, Computer Science and Engineering, Technical University of Denmark.
  6. Peter Cholak (University of Wisconsin), NSF postdoctoral fellow, 1993-94. Now Professor Department of Mathematics, University of Notre Dame.
  7. Yufei Sui (Academica Sinica), 1993.
  8. André Nies (Univeristy of Heidelberg), 1994. Now Professor, Department of Computer Science, University of Auckland.
  9. Russell Miller (University of Chicago), NSF VIGRE postdoctoral fellow, 2000-03. Now Professor, Department of Mathematics, Queens College - City University of New York.
  10. Barbara Csima (University of Chicago), H.C. Wang Assistant Professor, 2003-05. Now Professor, Department of Pure Mathematics, University of Waterloo.
  11. Bjorn Kjos-Hanssen (University of California, Berkeley), 2006-07. Now Professor, Department of Mathematics, University of Hawaii at Manoa.
  12. Francois Dorais (Dartmouth), 2007-08. Now Senior Lecturer, Department of Mathematics, University of Vermont.
  Richard Shore's Home Page