Symposium Participants

Hans Halvorson, Department of Philosophy, Princeton University, United States

Hans Halvorson is Associate Professor in the Department of Philosophy at Princeton University. Professor Halvorson graduated from Calvin College with a Bachelor's Degree in Philosophy. This was followed by Master's Degrees in Philosophy and Mathematics from the University of Pittsburgh and a Ph.D. in Philosophy from the University of Pittsburgh. He became Assistant Professor of Philosophy at Princeton in 2001 and received tenure in 2005. At Princeton, Professor Halvorson teaches primarily in philosophical logic and philosophy of science; he also advises independent work in metaphysics, philosophy of science, and philosophy of religion. His research focuses on the conceptual and mathematical foundations of contemporary physics, especially quantum field theory and quantum information theory. Professor Halvorson has been a short-term Fellow with the Perimeter Institute for Theoretical Physics (2006), a Behrman Fellow with the Princeton Council of the Humanities, and Associate Fellow with the Center for the Philosophy of Science at the University of Pittsburgh. He has been the recipient of such awards as the Mellon New Directions Fellowship (2007), the Cushing Memorial Prize in the History and Philosophy of Physics (2004), Best Article of the Year by a Recent Ph.D. (Philosophy of Science Association, 2001), and Ten Best Philosophy Articles of the Year (The Philosopher's Annual, 2001 and 2002).

Keynote Speaker:
John Baez, Department of Mathematics, University of California,
Riverside, United States

John Baez is Professor of Mathematics at the University of California, Riverside. He obtained his B.A. in Mathematics from Princeton University (1982) and his Ph.D. in Mathematics from the Massachusetts Institute of Technology (1986). Known for his work on spin foams in loop quantum gravity, Professor Baez's recent research has focused on applications of higher categories to physics. His books include An Introduction to Algebraic and Constructive Quantum Field Theory (1992), authored with Irving Segal and Zhengfang Zhou, and Gauge Fields, Knots, and Gravity (1994), authored with Javier Muniain. He edited Knots and Quantum Gravity (1994), writes an online column entitled "This Week's Finds in Mathematical Physics," and helps run The n-Category Cafe, which is a blog on mathematics, physics, and philosophy. Professor Baez was elected Fellow of the American Association for the Advancement of Science (1999).

Časlav Brukner, Faculty of Physics, University of Vienna, Austria; Institute of Quantum Optics and Quantum Information, Austrian Academy of Sciences, Vienna

Časlav Brukner is Associate Professor at the Faculty of Physics of the University of Vienna. He obtained his M.S. in Physics from the University of Vienna (1995) and earned a Doctor of Technical Sciences from the Vienna University of Technology (1999). Professor Brukner was awarded the Habilitation in Quantum Physics by the University of Vienna. He was a Marie Curie Fellow at the Imperial College London (2004) and Senior Researcher at the Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences (2005–2006). In addition, he has been Chair Professor at Tsinghua University in Beijing, China (since 2005). His primary research interests are foundations of quantum physics and quantum information theory. Together with Anton Zeilinger, he worked on an information-theoretical formulation of quantum mechanics. In 2001, he collaborated on a derivation of the general Bell inequality also known as "Werner-Wolf-Zukowski-Brukner" inequality. He also collaborated on theoretical proposals that led to the first experiment to demonstrate entanglement purification and the first test of non-local realistic theories.

Jeffrey Bub, Department of Philosophy, University of Maryland,
College Park, United States

Jeffrey Bub obtained his Ph.D. in Mathematical Physics at London University (1966). Currently, he is Distinguished University Professor in the Department of Philosophy and the Institute for Physical Science and Technology at the University of Maryland. Professor Bub has held appointments at Yale University and the University of Western Ontario, as well as visiting appointments at Yale, Princeton University, Tel Aviv University, the University of California at Irvine, the University of California at San Diego, the Center for the Philosophy of the Natural and Social Sciences at the London School of Economics and Political Science, and the Perimeter Institute for Theoretical Physics in Waterloo, Canada. Professor Bub has published numerous articles in scientific and scholarly journals on the conceptual foundations of quantum mechanics and is the author of two books: The Interpretation of Quantum Mechanics (Reidel, 1974) and Interpreting the Quantum World (Cambridge University Press, 1997; revised paperback edition, 1999), which won the prestigious Lakatos Award in 1998 for providing a unified reconstruction and systematic assessment of quantum mechanics. His current research is focused on foundational questions arising in the field of quantum information and computation. Professor Bub was awarded the Kirwan Faculty Research and Scholarship Prize in 2005 for his work in this area.

Bob Coecke, Computing Laboratory, University of Oxford, United Kingdom

Bob Coecke is University Lecturer in Quantum Computer Science, EPSRC Advanced Research Fellow, and Fellow of Wolfson College, Oxford University. He obtained his Ph.D. in Theoretical Physics from the Vrije Universiteit, Brussels and held postdoctoral positions at Imperial College, McGill University, and the University of Cambridge. Professor Coecke was awarded the 2004 Biennial Prize for Meritorious Research in the Field of Quantum Structures. With Abramsky, Professor Coecke co-authored the first paper on quantum informatics to ever have been accepted by the IEEE conference on Logic in Computer Science. This paper initiated the axiomatization of quantum mechanics in terms of monoidal categories. He currently coordinates a 2M European STREP entitled "Foundational Structures in Quantum Information and Computation" and is finishing a number of volumes of commissioned chapters in Springer's Lecture Notes in Physics book series entitled New Structures for Physics. Professor Coecke runs the interdisciplinary OASIS research seminar series at Oxford University's Computing Laboratory and regularly organizes workshops on structural research in physics and computer science.

Andreas Döring, Theoretical Physics Group, Blackett Laboratory,
Imperial College of Science, Technology & Medicine, London, United Kingdom

Andreas Döring began his study of physics in 1995 at the Johann Wolfgang Goethe-Universität, Frankfurt am Main. His diploma thesis in mathematical physics, Kinematik diffeomorphismeninvarianter quantisierter Eichtheorien (in German, 2000; supervisor, Professor Hans F. de Groote, Frankfurt) considered kinematical aspects of loop quantum gravity. In 2001, Dr. Döring switched from physics to mathematics, shifting his research interests to operator algebras and some of their applications in physics. In particular, he worked on the classification of the so-called Stone spectra of finite von Neumann algebras. Dr. Döring also proved a generalization of the famous Kochen-Specker theorem, which clarifies the situation for all von Neumann algebras. The new proof is related to Christopher Isham and Jeremy Butterfield's work on presheaf reformulations of the Kochen-Specker theorem. Dr. Döring's thesis, Stone spectra of finite von Neumann algebras and foundations of quantum theory, was finished in December 2004. Subsequently, he found a certain generalization of the Gelfand transform. Around that time, he became interested in category and topos theory and gave a lecture on these topics at Frankfurt University. In July 2005, Dr. Döring organized a small workshop on new mathematical structures in the foundations of quantum theory. From December 2005 on, he has worked with Christopher Isham at Imperial College, London. Recently, they proposed a new scheme for the formulation of physical theories using topos theory in which formal languages encoding an intuitionistic logic play a central role.

Lucien Hardy, Institute for Quantum Computing, Perimeter Institute for
Theoretical Physics, Waterloo (Ontario), Canada

Lucien Hardy received his Ph.D. at Durham University (1993) under the supervision of Professor Euan J. Squires. He has held research and lecturing positions in Maynooth, Innsbrook, Durham, Rome, and Oxford. Since 2002, he has been a member of faculty at Perimeter Institute for Theoretical Physics in Waterloo, Ontario, Canada. His primary research area is quantum foundations. In particular, he is interested in applications of quantum foundations to quantum gravity and quantum information. In 1992, he found a very simple proof of non-locality in quantum theory, which has become known as Hardy's theorem. In Rome, he collaborated on the first experiment to demonstrate quantum teleportation. In Oxford, he worked on obtaining an alternative set of postulates for quantum theory. He is currently working on building a framework appropriate for a theory of quantum gravity.

Simon B. Kochen, Department of Mathematics, Princeton University, United States

Simon Kochen has been the Henry Burchard Fine Professor of Mathematics at Princeton University since 1994. He received his Ph.D. from Princeton University in 1958 and joined the Mathematics Department at Princeton in 1967. He and John Conway proved the Free-Will Theorem in 1994.  Having research interests in model theory, number theory, and the foundations of quantum mechanics, he is the author of a number of articles in these fields. In 1968, Professor Kochen was the recipient of the American Mathematical Society Cole Prize in Number Theory.

Nicolaas P. (Klaas) Landsman, Institute for Mathematics, Astrophysics, and Particle Physics, Department of Science, Radboud Universiteit Nijmegen, The Netherlands

Nicolaas (Klaas) Landsman studied physics, mathematics, and astronomy at the University of Amsterdam (1981-1985). His initial research was in quantum field theory at finite temperature and the quark-gluon plasma. His M.Sc. thesis, published as Physics Reports 145, 141-249 (1987), has been cited almost 700 times. He earned his Ph.D. in Theoretical Physics (1989). Subsequently, Professor Landsman was a research assistant and then an advanced research fellow at the DAMTP of the University of Cambridge from 1989–1997, interrupted by a year at Hamburg 1993–94. Dr. Landsman switched from theoretical physics to mathematical physics and the history and philosophy of physics under the influence of Michael Atiyah, Jeremy Butterfield, Alain Connes, Klaus Fredenhagen, Rudolf Haag, Stephen Hawking, Christopher Isham, Michael Redhead, Marc Rieffel, and Alan Weinstein. His research interests are a blend of quantization theory, noncommutative geometry, and the mathematical and conceptual foundations of quantum mechanics, the latter also from a historical point of view, leading to publications about Bohr, Einstein, and Heisenberg. Most of his mathematical ideas from that period have appeared in Professor Landsman's book Mathematical Topics Between Classical and Quantum Mechanics (Springer, 1998). In 2005, he published a novel, Requiem for Newton (in Dutch, due to be translated by Wiley-VCH), about his Cambridge years that was at the same time a history of physics. Professor Landsman became a Royal Society research fellow at the University of Amsterdam, where he became a Full Professor of Mathematical Physics in 2001. He was awarded a "Pioneer" research grant of 1M euro by the Dutch Research Organization in 2002 and moved to the Radboud University Nijmegen in 2004 as a Professor of Analysis. In The Netherlands, Professor Landsman began collaborating with Ieke Moerdijk, under whose influence he increased work on Lie groupoids and became interested in category theory. This interest has led to various proposals of turning quantization into a functor and a generalization of the Guillemin-Sternberg conjecture that "quantization commutes with reduction" to noncompact groups and even to (proper) Lie groupoids. Professor Landsman subsequently became interested in topos theory as a foundation for quantum logic and perhaps even for all of physics, especially quantum gravity, which he is exploring at Nijmegen, where he has taught and worked on educational projects and policy for secondary-school mathematics.

Miklós Rédei, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, United Kingdom

Miklós Rédei studied physics and philosophy at Lorand Eötvö University in Budapest, Hungary, receiving his Ph.D. in Philosophy from Eötvös University (1982), where he taught in the Department of History and Philosophy of Science and in the Department of Logicat. Currently, he is Lecturer in the Department of Philosophy, Logic and Scientific Method at the London School of Economics and Political Science. Professor Rédei has had visiting positions in Europe and in the US: he was a Visiting Fellow and Fulbright Scholar at the Center for Philosophy of Science in Pittsburgh (1994–95) and Senior Resident Fellow in the Dibner Institute at the Massachusetts Institute of Technology (1997–98). Professor Rédei's research interests concern foundational and philosophical problems of modern physics, especially quantum theory, as well as more general issues in philosophy of science, such as the interpretation of probability and theories of probabilistic causation. He is the author of Quantum Logic in Algebraic Approach (Kluwer, 1998), co-editor of the volume John von Neumann and the Foundations of Quantum Physics, M. Redei and M. Stoeltzner (eds.) (Kluwer, 2001), and editor of John von Neumann: Selected letters (American Mathematical Society, 2005). Professor Rédei was co-organizer of the three-year European Science Foundation Network "Foundational and Philosophical Problems of Modern Physics" (2003–2005).

Stephen J. Summers, Department of Mathematics, University of Florida,
Gainesville, United States

Stephen J. Summers, Professor of Mathematics at the University of Florida, is a mathematical physicist specializing in the mathematical and conceptual foundations of quantum theory, particularly relativistic quantum field theory. While completing graduate studies in physics at Harvard University (Ph.D. 1979), he was teaching and doing research at the Eidgenössische Technische Hochschule in Zürich (ETH Zürich). After postdoctoral positions at the Centre de Physique Théorique of the CNRS at Luminy outside Marseilles and in the Department of Physics at the University of Osnabrück, Professor Summers returned to the United States in 1985 to become Assistant Professor of Mathematics at the University of Rochester. In 1989, he moved to the University of Florida as Associate Professor of Mathematics. Since his return to the US, Professor Summers has held visiting positions at King's College, London,
the University of Provence, the University of Rome, the Erwin Schrödinger International Institute for Mathematical Physics, Vienna, and again at the Centre de Physique Théorique, Luminy. He was also Gauss Professor at the University of Göttingen in 1994.

Online Discussant and Book Contributor:
Hans F. de Groote, Institut für Analysis und Mathematische Physik, Johann Wolfgang Goethe-Universität, Frankfurt am Main, Germany ~ley/db/indices/a-tree/ g/Groote:Hans_F=_de.html

Hans de Groote studied astrophysics and mathematics at the university of Heidelberg (1964–1968), graduating with a Diploma in Mathematics. He obtained his Ph.D. in Mathematics from the University of Konstanz (1971) for his thesis on non-Archimedean integration theory and received the Venia Legendi for Mathematics from the University of Tübingen in 1977. Since 1979, he has been Professor of Applied Mathematics at the University of Frankfurt am Main. Professor de Groote’s fields of research changed several times: harmonic analysis and integration theory (1966–1973); algebraic complexity theory, a part of mathematical computer science (1973–1987); and mathematical physics (1987–present), with a focus in recent years on quantum gravity and new mathematical structures in the foundations of quantum theory.

Charles L. Harper, Jr., Senior Vice President, John Templeton Foundation, Philadelphia , United States

Charles L. Harper, Jr., D.Phil. is Senior Vice President of the John Templeton Foundation. His primary responsibilities are in the areas of strategic planning, program design and development, vision casting, philanthropic networks development, and talent scouting. Dr. Harper has worked to transform philanthropy by instituting innovative entrepreneurial practices in grant making, creating more than $200 million in grant-based programs ranging widely from the study of forgiveness and reconciliation and enterprise-based solutions for poverty to projects on foundational questions in physics and cosmology and other scientific topics in biochemistry, neuroscience, evolutionary biology, medicine, and the philosophy of science. He is the founding Chairman of Geneva Global, Inc., an innovative philanthropic organization making grants worldwide within the developing world, reflecting his special interests in trade and solutions to poverty that include promoting a vision for major reforms focused on entrepreneurs and wealth creators in the commercial aid sector and avoidance of charitable dependency among aid recipients. Initially trained in engineering at Princeton (B.S.E. 1980), Dr. Harper obtained his D.Phil. in planetary science from the University of Oxford for a thesis on the nature of time in cosmology (1988). He also holds the Diploma in Theology from Oxford (1988) and a Certificate of Special Studies in Management and Administration from Harvard University (1997). In his science career, Dr. Harper was a National Research Council Fellow at NASA's Johnson Space Center (1988–91) and a research scientist in the Harvard Department of Earth and Planetary Sciences and at the Harvard College Observatory (1991–95).

For the John Templeton Foundation, he has developed a number of science-based interdisciplinary symposia and related research volumes, including The Fountain of Youth: Cultural, Scientific, and Ethical Perspectives on a Biomedical Goal based on the Extended Life, Eternal Life symposium co-sponsored by the Center for Bioethics at the University of Pennsylvania, March 2000 (Oxford University Press, NY, 2003); Science and Ultimate Reality: Quantum Theory, Cosmology, and Complexity in honor of the 90th birthday of John A. Wheeler based on the symposium in Princeton, March 2002 (Cambridge University Press, UK, 2004); Fitness of the Cosmos for Life: Biochemistry and Fine-Tuning in honor of the legacy of Lawrence J. Henderson based on the symposium at Harvard University, October 2003 (Cambridge University Press, UK, forthcoming fall 2007); Visions of Discovery: New Light on Physics, Cosmology, and Consciousness in honor of the 90th birthday of Charles H. Townes based on the symposium at the University of California, Berkeley, October 2005 (Cambridge University Press, UK, forthcoming in 2008); and Horizons of Truth: Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge in honor of the legacy of Kurt Gödel based on the symposium at the University of Vienna, April 2006 (Cambridge University Press, NY, forthcoming in 2008). Currently, Dr. Harper is developing several similar symposia and book projects in addition to other special programs for the Foundation. Other scientific publications include more than 50 research articles in scientific journals, including Nature, Science, and the Astrophysical Journal.