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,