EDUCATION



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)



EMPLOYMENT



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



OTHER POSITIONS



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)



CONSULTANCIES



Institute for Air Weapons Research


Institute for Systems Research


Institute for Defense Analysis


Center for Naval Analysis


Institute for Naval Studies


IBM


Mathematical Association of America


National Science Foundation


Laboratories for Applied Science , University of Chicago


Schlumberger


Digicomp Research


The Synectics Group


ICAIR Life Systems


Science Policy Associates


Battelle Institute


Argonne National Laboratory


USEPA


US Army Materiale Command


University of Kentucky


Commonwealth of Puerto Rico


University of Puerto Rico


American Board of Family Practice



COMMITTEES



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



JOURNAL EDITORSHIPS



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


AFOSR


ONR


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


NSERC/CRSNG Canada


Pew Foundation



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