DOCSLIB.ORG

Curriculum Vitæ of Robert I. Soare

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Curriculum Vitæ of Robert I. Soare Curriculum Vitæ of Robert I. Soare December 5, 2013 Contents 1 Address 3 2 Short Biography 3 3 Educational Record 4 4 Professional Record 4 4.1 Editorial Duty: . 5 4.2 Honorary Societies: . 5 4.3 Professional Societies: . 5 5 Grants 5 6 Honors and Recognition 5 7 Invited Addresses at Leading Congresses 6 8 Other Selected Invited Addresses 7 9 New PhD's Whom Soare Brought to Chicago 9 10 Ph.D. Students Whom Soare Supervised: 10 11 Books 12 12 Publications in Elite Journals 13 1 13 Other Journal Articles 13 2 1 Address Department of Mathematics University of Chicago 5734 University Avenue Chicago, IL 60637 (773) 702-6029 e-mail: [email protected] 2 Short Biography Robert Irving Soare was born in Orange, New Jersey, and graduated from Newark Academy in 1959. At Princeton from 1959 to 1963, he studied math- ematical logic and computability theory with Alonzo Church and wrote a se- nior thesis with Church and his associate. He studied logic and computability at Cornell from 1963 to 1967 and wrote a Ph.D. thesis wth Anil Nerode in 1967. From 1967 to 1973 he rose from Assistant Professor to full profes- sor of mathematics at the University of Illinois at Chicago (UIC). In 1974 he moved across town to the University o Chicago as a professor of mathematics, a position he has held since then. In 1983 he was appointed founding Chairman of the new Department of Computer Sciece by the University President Hanna Gray. In 1994 Presicent Sonnenschein named Soare the Paul Snowden Distinguished Professor (DSP), the endowed chair previously held by Milton Friedman who received the Nobel Memorial Prize in Economic Sciences. Since 1974 Soare has established the now highy ranked mathemaatical logic group at the University of Chicago. The new PhD's brought to Chicago by Soare described in x9 are among the best PhD's in any branch of logic in the last forty years. The current faculty in mathematical logic at Chicago include Soare, Denis Hirschfeldt, and Maryanthe Malliaris, making Chicago one of the top groups of mathematical logic in the country. The nearly twenty PhD students supervised by Soare and recently jointly advised by Soare and Professor Denis Hirschfeldt listed in x10 are among the best in the last decade in computability and logic. Soare has published five papers in the elite journals, of mathematics: The Annals of Mathematics, The Journal of the American Mathematical Society, 3 and The Proceedings of the National Academy of Science. Soare's Annals of Mathematics paper on automorphisms was was chosen by Gerald Sacks as one of the most important papers in mathematical logic in the twentieth century as described in x6. 3 Educational Record • A.B. Princeton University, 1963. Magna cum laude in Mathematics. • Ph.D. in Mathematics, Cornell University, 1967. 4 Professional Record Mar. 2012{Jul. 2012 Visiting Fellow, Isaac Newton Institute for Math- ematical Sciences, University of Cambridge, Cambridge U.K., Centen- nial year celebrating Alan Turing. 1994{present Paul Snowden Russell Distinguished Service Professor of Mathematics and Computer Science, University of Chicago. 1974{present Professor of Mathematics, University of Chicago. Sept. 1989{Dec. 1989 Member, Mathematical Sciences Research Insti- tute, Berkeley, CA. 1988{1989 Visiting Professor, University of Heidelberg, Heidelberg, Ger- many. 1983{1987 Founding Chairman, Department of Computer Science, Uni- versity of Chicago. 1982{1983 Senior Research Fellow, partially supported by British Science and Engineering Research Council, staying mainly at University of Leeds, with extended visits to Oxford University, University of Cam- bridge, University of Manchester, and University of Bristol. 1967{1973 Assistant Professor to Full Professor of Mathematics, Univer- sity of Illinois at Chicago. 4 4.1 Editorial Duty: 1997{2009 A Managing Editor, Annals of Pure and Applied Logic. 1993{2002 Editor, Mathematical Logic Quarterly. 1982{2003 Editor, Information and Computation. 1983{1987 Advisory Editor, Annals of Pure and Applied Logic (Journal formerly called Annals of Mathematical Logic). 1971{1975 Associate Editor, Proceedings American Mathematical Society. 4.2 Honorary Societies: Phi Beta Kappa Society of Sigma Xi 4.3 Professional Societies: Association for Symbolic Logic American Mathematical Society 5 Grants NSF For over thirty-five years principal investigator of National Science Foundations grants in computability and mathematical logic. 2011{2016 Simons Foundation grant entitled, \Computability Theory and Applications." 6 Honors and Recognition June, 2011 Received the University of Chicago award for excellence in grad- uate teaching. 2003 Soare's Annals of Mathematics paper [1974] was chosen by Gerald Sacks (Harvard) as one of the thirty-one most important papers in mathematical logic in the twentieth century in his book: 5 G. E. Sacks, Mathematical Logic in the 20th Century, Singapore Uni- versity Press, Singapore, and World Scientific Publishing Co. Series on 20th Century Mathematics, Volume 6, Singapore, New Jersey, London, Hong Kong, 2003. ISBN: 981-02-4736-2 Printed in Singapore. 7 Invited Addresses at Leading Congresses The most prestigious congress in this field is the International Congress of Mathematicians, and next the International Congress for Logic, Methodol- ogy and Philosophy of Science. The Association for Symbolic Logic is the primary logic association in the U.S. and around the world. Its Centen- nial Meeting in June, 2000 was to celebrate the turn of the century, and the plenary speakers were selected from leading scholars around the world. The organization Computability in Europe was has grown extremely fast and has already attracted several hundred members in mathematics, computer science, and related areas. June 12{14, 2012 Speaker at Turing Centenary Workshop on The Incom- putable at the Kavli Royal Society International Centre, Chicheley Hall, UK. www.mathcomp.leeds.ac.uk/turing2012/inc/ Apr. 2012 Opening plenary address, British Logic Colloquium, University of Kent at Canterbury, Conference on the work of Alan Turing. Jun. 2007 Plenary speaker at Computability in Europe (CiE) Conference on Computation and Logic in the Real World, Siena, Italy, June 18{23, 2007. Jun. 2000 Plenary speaker at Centennial Meeting of the Association for Symbolic Logic, Urbana, Illinois. Aug. 1995 International Congress for Logic, Methodology and Philosophy of Science, Florence, Italy. Aug. 1991 International Congress for Logic, Methodology and Philosophy Uppsala, Sweden. 6 Aug. 1979 International Congress for Logic, Methodology and Philosophy of Science, Hanover, Germany. Aug. 1978 International Congress of Mathematicians, Helsinki, Finland. 8 Other Selected Invited Addresses Mar.{Jul. 2012 The Isaac Newton Institute is hosting Soare for 3 months and has asked him to lecture at various British universities during his visit to the U.K. Jan. 2012 MAMLS, Florida Atlantic University, Jan. 2{16, 2012, Logic and Computability, especially about Alan Turing. Mar. 2011 North American Annual Meeting of Association for Symbolic Logic, Special Session on Definability Throughout Mathemaical Logic, in honor of Leo Harrington. Jan. 2007 Topics in Computability, A meeting in honor of Richard Shore, Boston, Mass., Jan 21{22, 2007. Aug. 2006 MATHLOGAPS Workshop, University of Leeds, Leeds, Eng- land, Aug. 21{25, 2006, five one hour lectures. Jan. 2002 American Mathematical Society Special Session on Computabil- ity Theory, San Diego, CA. Robert Soare and his graduate student, Barbara Csima, were both invited speakers on their joint work for twenty minutes each. Jun. 1999 A.M.S. Workshop in Computability Theory and Applications, Boulder, Colorado. (One hour.) Jul. 1997 European Summer Meeting of the Association for Symbolic Logic, Leeds, England. (One hour plenary speaker.) Jul. 1997 Conference in Computability and Complexity, Kazan, Russia. (One hour lecture on mathematics plus TV interview conducted in Russian.) Mar. 1996 University of Wisconsin, just prior to meeting of Association for Symbolic Logic. (One hour lecture on Kleene.) 7 Jan. 1996 Conference on Computability Theory, Oberwolfach, Germany. (One hour lecture on computability plus one hour lecture on the work of S.C. Kleene.) Jul. 1994 Conference on Computability Theory, University of Leeds, Leeds, U.K. (One hour lecture.) Mar. 1994 Association for Symbolic Logic, Gainesville, FL. (One hour lec- ture.) May, 1993 Sacks Symposium, A Symposium in Honor of Gerald Sacks on the Occasion of his Sixtieth Birthday, MIT, Cambridge, Mass. (One hour lecture.) Jun. 1992 Logical Methods in Mathematics and Computer Science, A Sym- posium in Honor of Anil Nerode on the Occasion of his Sixtieth Birth- day, Cornell University, Ithaca, NY. (One hour lecture.) Oct. 1989 Conference on Set Theory and the Continuum Hypothesis, at Math. Sci. Research Institute, in Berkeley, CA. (One hour lecture.) Mar. 1989 Conference on Recursion Theory (organized by G. E. Sacks), Oberwolfach, W. Germany. (One hour lecture opening conference.) Oct. 1987 Third Southeast Asian Conference on Mathematical Logic, Bei- jing, China. (One hour.) Oct. 1984 Second Southeast Asian Logic Conference on Logic and its Rela- tion to Mathematics and Computer Science, Bangkok, Thailand. (One hour lecture.) Apr. 1984 Conference on Recursion Theory (organized by G. E. Sacks), Oberwolfach, W. Germany. (Forty-five minute lecture.) Jul. 1983 Association for Symbolic Logic, Annual European Summer Meet- ing, Aachen, W. Germany. (Two one hour lectures.) Apr. 1983 European Conference on Mathematical Logic, Oberwolfach,
Load more

Recommended publications
  • Notices of the American Mathematical Society ABCD Springer.Com
    ISSN 0002-9920 Notices of the American Mathematical Society ABCD springer.com More Math Number Theory NEW Into LaTeX An Intro duc tion to NEW G. Grätzer , Mathematics University of W. A. Coppel , Australia of the American Mathematical Society Numerical Manitoba, National University, Canberra, Australia Models for Winnipeg, MB, Number Theory is more than a May 2009 Volume 56, Number 5 Diff erential Canada comprehensive treatment of the Problems For close to two subject. It is an introduction to topics in higher level mathematics, and unique A. M. Quarte roni , Politecnico di Milano, decades, Math into Latex, has been the in its scope; topics from analysis, Italia standard introduction and complete modern algebra, and discrete reference for writing articles and books In this text, we introduce the basic containing mathematical formulas. In mathematics are all included. concepts for the numerical modelling of this fourth edition, the reader is A modern introduction to number partial diff erential equations. We provided with important updates on theory, emphasizing its connections consider the classical elliptic, parabolic articles and books. An important new with other branches of mathematics, Climate Change and and hyperbolic linear equations, but topic is discussed: transparencies including algebra, analysis, and discrete also the diff usion, transport, and Navier- the Mathematics of (computer projections). math Suitable for fi rst-year under- Stokes equations, as well as equations graduates through more advanced math Transport in Sea Ice representing conservation laws, saddle- 2007. XXXIV, 619 p. 44 illus. Softcover students; prerequisites are elements of point problems and optimal control ISBN 978-0-387-32289-6 $49.95 linear algebra only A self-contained page 562 problems.
    [Show full text]
  • RECURSION THEORY PROCEEDINGS of SYMPOSIA in PURE MATHEMATICS Volume 42
    http://dx.doi.org/10.1090/pspum/042 RECURSION THEORY PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS Volume 42 RECURSION THEORY AMERICAN MATHEMATICAL SOCIETY PROVIDENCE, RHODE ISLAND PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 42 PROCEEDINGS OF THE AMS-ASL SUMMER INSTITUTE ON RECURSION THEORY HELD AT CORNELL UNIVERSITY ITHACA, NEW YORK JUNE 28-JULY 16, 1982 EDITED BY ANIL NERODE AND RICHARD A. SHORE Prepared by the American Mathematical Society with partial support from National Science Foundation grant MCS 8120074 1980 Mathematics Subject Classification. Primary 03D25, 03D30, 03D45, 03D55, 03D60, 03D70, 03D80, 03E05, 03E10, 03E35, 03E45, 03E47, 03F30, 03G05, 13E05, 14M05, 28A12, 90D05, 90D13. Library of Congress Cataloging in Publication Data Main entry under title: Recursion theory. (Proceedings of symposia in pure mathematics; v. 42) Papers presented at the 1982 AMS Summer Research Institute held at Cornell University from June 28 to July 16, 1982, and co-sponsored by the ASL. Bibliography: p. 1. Recursion theory—Addresses, essays, lectures. I. Nerode, Anil. 1932— II. Shore, Richard A., 1946- . III. American Mathematical Society. IV. AMS Summer Research Institute (1982: Cornell University) V. Series. QA9.6.R4 1984 511.3 8448525 ISBN 0-8218-1447-8 COPYING AND REPRINTING. Individual readers of this publication, and nonprofit librar• ies acting for them are permitted to make fair use of the material, such as to copy an article for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews provided the customary acknowledgement of the sources is given. Republication, systematic copying, or multiple reproduction of any material in this pub• lication (including abstracts) is permitted only under license from the American Mathematical Society.
    [Show full text]
  • Notices of the American Mathematical
    Calendar This Calendar lists all of the meetings which have been approved by the Council up to the date this issue of the cNoliaiJ was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been assigned. Abstracts should be submitted on special forms which are available in most departments of mathematics; forms can also be obtained by writing to the headquarters of the Society. Abstracts to be presented at the meeting in person must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline for the meeting. Meeting Deadline for Abstracts* Number Date Place and News Items 725 June 20-21, 1975 Pullman, Washington Apr. 29, 1975 726 August 18-22, 1975 Kalamazoo, Michigan June 17, 1975 (79th Summer Meeting) 727 October 25, 1975 Cambridge, Massachusetts Sept. 2, 1975 728 November 1, 1975 Chicago, illinois Sept. 2, 1975 729 November 7-8, 1975 Blacks burg, Virginia Sept. 23, 1975 730 November 15, 1975 Los Angeles, California Sept. 23, 1975 731 January 22-26, 1976 San Antonio, Texas Nov. 5, 1975 (82nd Annual Meeting) March 4-5, 1976 Tallahassee, Florida March 15-20, 1976 Urbana, illinois April 23-24, 1976 Reno, Nevada June 18-19, 1976 Portland, Oregon November 19-20, 1976 Columbia, South Carolina November 26-27, 1976 Albuquerque, New Mexico January 27-31, 1977 St.
    [Show full text]
  • Otices of The
    OTICES OF THE AMERICAN MATHEMATICAL SOCIETY Scientific Issues in Manufacturing page 404 Three Reports on Graduate Education: National Research Council page 390 Conference Board of the Mathematical Sciences page 398 AMS-MAA-SIAM Committee on Preparation for College Teaching page 412 Cambri ge Meeting (June 29-July 1) page 460 MAY/JUNE 1992, VOLUME 39, NUMBER 5 Providence, Rhode Island, USA ISSN 0002-9920 Calendar of AMS Meetings and Conferences This calendar lists all meetings and conferences approved prior to the date this insofar as is possible. Abstracts should be submitted on special forms which are issue went to press. The summer and annual meetings are joint meetings of the available in many departments of mathematics and from the headquarters office of Mathematical Association of America and the American Mathematical Society. the Society. Abstracts of papers to be presented at the meeting must be received The meeting dates which fall rather far in the future are subject to change; this is at the headquarters of the Society in Providence, Rhode Island, on or before the particularly true of meetings to which no numbers have been assigned. Programs deadline given below for the meeting. The abstract deadlines listed below should of the meetings will appear in the issues indicated below. First and supplementary be carefully reviewed since an abstract deadline may expire before publication of announcements of the meetings will have appeared in earlier issues. Abstracts a first announcement. Note that the deadline for abstracts for consideration for of papers presented at a meeting of the Society are published in the journal Ab· presentation at special sessions is usually three weeks earlier than that specified stracts of papers presented to the American Mathematical Society in the issue below.
    [Show full text]
  • November 1974 Table of Contents
    Calendar This Calendar lists all of the meetings which have been approved by the Council up to the date this issue of the c){otiuiJ was sent to press .. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been aasigned. Abstracts should be submitted on special forms which are available in most departments of mathematics; forms can also be obtained by writing to the headquarters of the Society. Abstracts to be presented at the meeting in person must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline for the meeting. Meeting Deadline for Abstracts* Number Date Place and News I terns 720 January 23-27, 1975 Washington, D.C. Nov. 6, 1974 (81st Annual Meeting) 721 March 20-21, 1975 Mobile, Alabama Jan. 28, 1975 722 March 23-26, 1975 New Y<>'rk, New York Jan. 28, 1975 723 April 11-12, 1975 St. Louis, Missouri Feb. 18, 1975 724 April 18-19, 1975 Monterey, California Feb. 18, 1975 725 June 20-21, 1975 Pullman, Washington Apr. 29, 1975 726 August 18-22, 1975 Kalamazoo,· Michigan June 17, 1975 (79th Summer Meeting) November 7-8, 1975 Blacksburg, Virginia November 15, 1975 Los Angeles, California January 22-26, 1976 San Antonio, Texas (82nd Annual Meeting) April 23-24, 1976 Reno, Nevada June 18-19, 1976 Portland, Oregon *Deadline for abstracts not presented at a meeting (by title).
    [Show full text]
  • Notices of the American Mathematical Society
    Calendar This Calendar lists all of the meetings which have been approved by the Council up to the date this issue of the cJ{oliiriJ was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the American Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been assigned. Abstracts should be submitted on special forms which are available in most departments of mathematics; forms can also be obtained by writing to the headquarters of the Society. Abstracts to be presented at the meeting in person must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline for the meeting. Meeting Deadline for Abstracts* Number Date Place and News Items 716 October 26, 1974 Middletown, Connecticut Sept. 3, 1974 717 November 8-9, 1974 Nashville, Tennessee Sept, 25, 1974 718 November 23, 1974 Los Angeles, California Sept. 25, 1974 719 November 23, 1974 Houston, Texas Sept. 25, 1974 720 January 23-27, 1975 Washington, D. C. Nov, 6, 1974 (81st Annual Meeting) March 20-21, 1975 Mobile, Alabama March 23-26, 1975 New York, New York April 18-19, 1975 Monterey, California August 18-22, 1975 Kalamazoo, Michigan November 7-8, 1975 Blacksburg, Virginia November 15, 1975 Los Angeles, California January 22-26, 1976 San Antonio, Texas (82nd Annual Meeting) *Deadline for abstracts not presented at a meeting (by title). October 1974 issue: August 29 OTHER EVENTS January 1975 Symposium on Some Mathematical Questions in Biology New York, New York November 6, 1974 January 1975 Symposium on Theory vs.
    [Show full text]
  • Wesleyan.Pdf
    Sharaf al-Dīn al-Ṭūsī Kamāl al-Dīn Ibn Yūnus Academic Genealogy of the Wesleyan University Department of Mathematics and Computer Science Nasir al-Dīn al-Ṭūsī The Mathematics Genealogy Project is a service of North Dakota State University and the American Mathematical Society. Shams al‐Dīn al‐Bukhārī www.mathgenealogy.org Maragheh Observatory Gregory Chioniadis Ilkhans Court at Tabriz 1296 Manuel Bryennios Theodore Metochites 1315 Gregory Palamas Nilos Kabasilas 1363 Demetrios Kydones Elissaeus Judaeus Manuel Chrysoloras Georgios Plethon Gemistos 1380, 1393 Basilios Bessarion Mystras 1436 Guarino da Verona Johannes Argyropoulos 1408 Università degli Studi di Padova 1444 Vittorino da Feltre Marsilio Ficino Cristoforo Landino Università degli Studi di Padova 1416 Università degli Studi di Firenze 1462 Theodoros Gazes Nicole Oresme Ognibene (Omnibonus Leonicenus) Bonisoli da Lonigo Florens Florentius Radwyn Radewyns Geert Gerardus Magnus Groote Paolo (Nicoletti) da Venezia Angelo Poliziano Università di Mantova 1433 Università di Mantova Università degli Studi di Firenze 1477 Constantinople 1433 Heinrich von Langenstein Demetrios Chalcocondyles Leo Outers Rudolf Agricola Jacob ben Jehiel Loans Thomas von Kempen à Kempis Sigismondo Polcastro Gaetano da Thiene Scipione Fortiguerra Moses Perez Université de Paris 1363 Accademia Romana 1452 Université Catholique de Louvain 1485 Università degli Studi di Ferrara 1478 Università degli Studi di Firenze 1493 Université de Paris 1375 Mystras 1452 Jan Standonck Johann (Johannes Kapnion) Reuchlin Johannes
    [Show full text]
  • CONTEMPORARY MATHEMATICS 257 Computability Theory and Its Applications Current Trends and Open Problems
    CONTEMPORARY MATHEMATICS 257 Computability Theory and Its Applications Current Trends and Open Problems Proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference Computability Theory and Applications June 13-17 I 1999 University of Colorado I Boulder Peter A. Cholak Steffen Lempp Manuel Lerman Richard A. Shore Editors http://dx.doi.org/10.1090/conm/257 Selected Titles in This Series 257 Peter A. Cholak, Steffen Lempp, Manuel Lerman, and Richard A. Shore, Editors, Computability theory and its applications: Current trends and open problems, 2000 256 Irwin Kra and Bernard Maskit, Editors, In the tradition of Ahlfms and Bers: Proceedings of the first Ahlfors-Bers colloquium, 2000 255 Jerry Bona, Katarzyna Saxton, and Ralph Saxton, Editors, Nonlinear POE's, dynamics and continuum physics, 2000 254 Mourad E. H. Ismail and Dennis W. Stanton, Editors, q-series from a contemporary perspective, 2000 253 Charles N. Delzell and James J. Madden, Editors, Real algebraic geometry and ordered structures, 2000 252 Nathaniel Dean, Cassandra M. McZeal, and Pamela J. Williams, Editors, African Americans in Mathematics II, 1999 251 Eric L. Grinberg, Shiferaw Berhanu, Marvin I. Knopp, Gerardo A. Mendoza, and Eric Todd Quinto, Editors, Analysis, geometry, number theory: The Mathematics of Leon Ehrenpreis, 2000 250 Robert H. Gilman, Editor, Groups, languages and geometry, 1999 249 Myung-Hwan Kim, JohnS. Hsia, Yoshiyuki Kitaoka, and Rainer Schulze-Pillot, Editors, Integral quadratic forms and lattices, 1999 248 Naihuan Jing and Kailash C. Misra, Editors, Recent developments in quantum affine algebras and related topics, 1999 247 Lawrence Wasson Baggett and David Royal Larson, Editors, The functional and harmonic analysis of wavelets and frames, 1999 246 Marcy Barge and Krystyna Kuperberg, Editors, Geometry and topology in dynamics, 1999 245 Michael D.
    [Show full text]