1949 B.A., University of Chicago
1952 B.S., Mathematics, University of Chicago
1953 M.S., Mathematics, University of Chicago
1956 Ph.D., Mathematics, University of Chicago (under Saunders Maclane)
1957--58 National Science Foundation Postdoctoral Fellow, Member, Institute for Advanced Study, Princeton (under Kurt Gödel)
1958-59 Visiting Assistant Professor, University of California, Berkeley (under Alfred Tarski)
1954-57 Institute for Air Weapons Research, Chicago, Illinois
1959-62 Assistant Professor of Mathematics, Cornell University
1964-5 Acting Director, Center for Applied Mathematics, Cornell University
1962-65 Associate Professor of Mathematics, Cornell University
1965- Professor of Mathematics, Cornell University
1982-87 Chairman, Department of Mathematics, Cornell University
1987-1996 Director, Mathematical Sciences Institute, Cornell University
1991- Goldwin Smith Professor of Mathematics, Cornell University
1957-58 Member, Institute for Advanced Study, Princeton
1962-63 Member, Institute for Advanced Study, Princeton
1963-64 Member, Institute for Defense Analysis, Princeton 038
1970-71, 1974-75 Visiting Professor, Monash University, Melbourne, Australia
1976 Visiting Professor, University of Chicago
1980 Visiting Professor, Massachusetts Institute of Technology
1981,1983,1985 Visiting Professor, University of California at San Diego
1985-87 EPA Distinguished Visiting Scientist, Artificial Intelligence
GRANTS AND CONTRACTS
1954-57 USAF contracts through Wright Air Development Command for automata and weapons systems
1961- National Science Foundation mathematical logic grants to Cornell
1961-65 NSF Foundation Education Directorate grants to Cornell
1964-70 AFOSR $500,000
1974-76 Australian Research Grants at Monash University
1978-81 U. S. E.P.A. $375,000
1978-80 N. S. F. history of mathematics
1980-81 Argonne National Laboratories
1980-84 N. S. F. International Programs (US-Greece)
1982-83 N. S. F.International Programs (U.S.-Venezuela)
1984-87 Charles A. Dana Foundation $375,000
1986-89. N.S.F. International Programs (US-Italy)
1987-90 Glendale Trust (Pew) $375,000 1987-97
1986-9=1996: ARO Center of Excellence Grant for the Mathematical Sciences Institute $12,000,000
1988-91 Exxon Foundation grant $375,000
1992 NSF International Programs (US-Russia)
1991-94 DARPA Domain Specific Software Initiative ($2,500,000)
1996-2002 DOD MURI Foundations of Intelligent Systems ($650,000)
2000 DARPA AFOSR Agile Control Initiative ($200,000) (Declined to accept it because of administrative delays)
Institute for Air Weapons Research
Institute for Systems Research
Institute for Defense Analysis
Center for Naval Analysis
Institute for Naval Studies
Mathematical Association of America
National Science Foundation
Laboratories for Applied Science , University of Chicago
The Synectics Group
ICAIR Life Systems
Science Policy Associates
Argonne National Laboratory
US Army Materiale Command
University of Kentucky
Commonwealth of Puerto Rico
University of Puerto Rico
American Board of Family Practice
1967-70 The Committee on Applied Mathematics of the National Research Council
1970-73 The Advisory Panel for Mathematical Sciences of the National Science Foundation
1973-78 The Committee on Science Policy of the American Mathematical Society
1984 National Research Council working group on computational mathematics (Rheinboldt Committee)
1986-1994 Science Advisory Board of the U.S.E. P. A.
1987-92 Advisory Board, Center for Intelligent Control, MIT-Brown-Harvard
1988-4 Chair, Technical Advisory Panel for Global Change Program of the U.S. Environmental Protection Agency
1989- Advisory Committee, Gauss Laboratory, University of Puerto Rico
1989-2 Advisory Board, Army High Performance Computing Institute, University of Minnesota
1994-7 Committee on Science Policy, American Mathematical Society
1994-7 Committe on Committees, American Mathematical Society
1991-4 Vice President, American Mathematical Society (elected)
1994-7 Committee on Mathematics, National Academy of Sciences
1994-7 Committe on Science Policy, American Mathematical Society
1998- International Advisory Board ,Centre for Discrete Mathematics and Theoretical Computer Science Department of Computer Science The University of Auckland , Auckland, New Zealand.
1997- International advisory board, Chebotarev Research Institute of Mathematics and Mechanics, Kazan State University, Universitetskaja 17, 420008, Kazan, Russia.
Boards of Directors
1989-94- Central Casting, an equity small theatre (deceased)
1994-New York State Early Music Association, Inc. (NYSEMA)
1995-98 Chairman, Hybrithms Corporation, Kirkland, Washington
1962-65 Associate Editor, Proceedings of the American Mathematical Society
1968-71 Associate Editor, Advances in Mathematics
1968-83 Editor, Journal of Symbolic Logic
1983-97 Editor, Annals of Pure and Applied Logic
1997- Editor Emeritus, Annals of Pure and Applied Logic
1984-98 Editor, Future Generation Computing
1988-90 Editor, ORCA Journal of Computing
1990- Associate Editor, Annals of Mathematics and Artificial Intelligence
1990- Editor, Computer Modelling and Simulation
1990- Editor Mathematics and Computer Modelling
1995-99 Editor, Constraints
1995- Editor, Grammars
1994- Editor, Documenta Mathematica
1998- Advisory Editorial Board, Discrete Mathematics and Theoretical Computer Science Series, Springer Verlag
PROPOSAL REVIEWER FOR:
National Science Foundation Mathematics, Theoretical Computer Science, Intelligent Systems, Philosophy and History of Science, Software Engineering International Development Programs
U.S. Army Research Office
Natural Sciences and Engineering, Research Council of Canada
Ottawa Fonds pour La Formation de Chercheurs et L'aide de La Recherche Quebec
Australian Research Grants Council
US-Israel Bi-National Science Foundation
Science Foundation Ireland
Greek Science Agency
European Economic Community Esprit Program
British Science Council
Canadian Science Council
SOME MEETINGS ORGANIZED:
Co-chairman, organizing committee, 1982 American Mathematical Society, Annual Summer Institute. Three weeks in length, it gathered together 140 leading researchers world wide in recursion theory and recursive function theory. The National Science Foundation contributed $110,000 to the conference.
Organizing committee of the Sixth Latin American Logic Symposium in Caracas, Venezuela in August,
1983. The National Science Foundation International Programs supported the conference.
Organizing Committee, Association of Symbolic Logic second Southeast Asian Logic Conference, Bangkok, Thailand, October, 1984 Co-Chairman, organizing committee, American Mathematical Society Logic and Computation conference, June 9-14, 1985.
Ten international cross- and inter-disciplinary workshops a year for the Mathematical Sciences Institute, 1987-1996
Program Committee, Logic in Computer Science, (LICS)1988.
Co-chair, organizing committee, Feasible Mathematics Workshop, June 26-28, 1989, Cornell University.
National Conference on Logic Programming Workshop on Non-Monotonic Reasoning, 1990.
Chair, Program Committee, Hybrid Systems Workshop, Cornell, June, 1991.
Chair, Program Committee, Hybrid Systems Workshop, Ft Lauderdale Florida, January,1992
Chair, Program Committee, First International Conference on Logic Programming and Non-Monotonic Reasoning, Washington, 1991.
Program Committee, Computer Aided Control System Design, (CACSD 92), March17-19, 1992.
Program Committee, Logic in Computer Science, LICS 91
Chair, Program Committee, LFCS92: Logic at Tver, Symposium on Logical Foundations of Computer Science, July 20-24, 1992
Chair, Program Committee, Symposium of Complexity in Non-Monotonic Reasoning, International Logic Programming Conference, Washington, Nov, 1992
Chair Program Committee, Second International Conference on Logic Programming and Non-Monotonic Reasoning, Lisbon, Portugal, 1993.
Co-chair, ILPS 1993, Workshop 4: Structural Complexity and Recursion-Theoretic Methods in Logic Programming
Chair, Organizing Committee, PODP92, Principles of Document Processing, (jointly sponsored by Xerox, Cornell MSI, and Syracuse University), Washington, 1992.
Organizing Committee, PPCP'94 Second Workshop on Principles and Practice of Constraint Programming, Rosario, Orcas Island, Washington, USA, May 2-4, 1994
Chair, Organizing Committee, LFCS94: Logic at St Petersburg, Symposium on Logical Foundations of Computer Science, July, 1994.
Co-organizer, ILPS 1994, Workshop 2: Constraints and Databases, Thursday November 17, 1994, Ithaca, New York, USA
Chair, Organizing Committee, Third International Conference on Logic Programming and Non-Monotonic Reasoning, Lexington, July, 1994.
Chair, Organizing Committeee, Hybrid Systems Workshop II, October, 1994.
Program Committee, PODP'94 Second International Workshop on Principles of Document Processing April 11 - 12, 1994 Darmstadt, Germany.
Co-chair, 9th Computer Modelling and Simulation Conference, Boston, June, 1995
Organizing Committee, Int. Conf. on Principles and Practice of Constraint Programming (CP95)
Program Committee, Computer Aided Control System Design,(CACSD96), March 17-19, 1996, Dearborn, Michigan
Chair, Hybrid Systems Workshop IV, Oct. 1996
Program Committee, 11th IEEE International Symposium on Intelligent Control (ISIC)
Organizing Committee, CP96, Second International Conference on Principles and Practice of Constraint Programming August 19-22, 1996 Cambridge, Massachusetts.
Organizing Committee, Fourth International Symposium on artificial intelligence and mathematics, January 3-5, 1996, Fort Lauderdale Marina Marriott, Florida
Co-chair, The Eleventh International Conference on Mathematical and Computer Modelling and Scientific Computing March 31 - April 3, 1997 Georgetown University Conference Center Washington, DC, USA
Co-chair, Recursive Analysis Week, Dagstuhl,1997
Co-chair, Logic Programming and Non-Monotonic Reasoning, Dagstuhl, July, 1997
Co-Chair Logical Foundations of Computer Science, Yaraslavl, Russia, July, 1997
Co-Chair, CCA'98 - Third Workshop on Computability and Complexity in Analysis 1998 (A Satellite Workshop to MFCS'98 August 24-27, 1998, Brno, Czech Republic)
Organizing Committee, Third International Conference on Principles and Practice of Constraint Programming (CP97) Schloss Hagenberg, Austria, October 29 - November 1, 1997
Program Committee, STIS '98: A Joint Conference on the Science and Technology of Intelligent Systems, September 14-17, 1998Gaithersburg, MD,
Co-Chair, Recursive Analysis Meeting, Dagstuhl, November, 1999.
Program Committee - CIRA'99, 1999 IEEE International Symposium on Computational Intelligence in Robotics & Automation, DoubleTree Hotel, Monterey, California November 8-9, 1999.
Program Committee - Programming and Nonmonotonic Reasoning, LPNMR'99
Program Committee CIRA'99, 1999 IEEE International Symposium on Computational Intelligence in Robotics & Automation, DoubleTree Hotel, Monterey, California November 8-9, 1999.
Program Committee, Third International Workshop on Intelligent Control & Systems (ICS 2000) Trump Taj Mahal Casino and Resort Atlantic City, New Jersey, USA February 27-March 3, 2000
Program Committee, Sixth International Symposium on artificial intelligence and mathematics, January 5-7, 2000, Fort Lauderdale, Florida
Program Committe, WIRE-2000, Workshop on Interactive Robotics and Entertainment, April 30 - May 1, 2000
Program Committee, Ershov Symposium, Novosibersk, May, 2000
SOME UNIVERSITY-WIDE ACTIVITIES
University Research Council, 1983-7
Steering Committee, Computer Networking Task Force, 1988-89
Steering Committee, Cornell Global Change Program, 1989-1992
President, Faculty Club of Cornell University,1987-89
Executive Committee, Center for Theory and Simulation, 1987-1994
2001 Committee on Long Term Impact of Information Technology on Cornell 1990
Advisory Council, Cornell Center for the Environment, 1991-3
Faculty Council of Representatives Financial Policies Committee, 1991-94
Employee Benefits Advisory Committee, 1991-1994
Retiree Benefits Committee,1991-1994
University Nominations and Elections Committee, 1992-1994
Dean's Advisory Committee1991-1994
Advisory Committee, The Cornell / Xerox / Commission on Preservation and Access Joint Study in Digital Preservation, 1996
Search Committee Memberships
Dean of Engineering (1986)
Chief College Development Officer (1988)
Vice President for Information Technologies (1988)
Vice President for Research (1989)
Director of Center for Theory and Simulation (199?)
Arts College Nominating Committee (1999-2001)
Nerode's Home Page