Benedikt Löwe

Benedikt Löwe
Born 1972
Alma mater Humboldt University of Berlin
Known for Descriptive Set Theory
Scientific career
Fields Mathematics, Logic
Doctoral advisor Ronald Jensen, Donald Anthony Martin
Doctoral students Stefan Bold, Hugo de Holanda Cunha Nobrega, Ioanna Dimitriu, Yurii Khomskii, Eva Müller-Hill, Brian Semmes, Sourav Tarafder, Sara L. Uckelman

Benedikt Löwe (born 1972) is a German mathematician and logician, and Professor at the University of Hamburg, known for initiating the interdisciplinary conference "Foundations of the Formal Sciences" (FotFS) in 1999.[1][2]

Biography

Löwe received his BA in mathematics and philosophy at the University of Hamburg and continued his studies at the University of Tübingen, the University of Berlin and Berkeley. In 2001 he completed his PhD entitled Blackwell Determinacy about determinacy under supervision of Donald A. Martin and Ronald Björn Jensen. Since early 2000 he is Assistant Professor at the University of Amsterdam, and since late 2000s also Professor at the University of Hamburg. Furthermore, he was a Fellow at the University of Cambridge for some time. Currently, he is managing editor of the journal Mathematical Logic Quarterly.[3] and the journal Computability, and editor at the journals Journal of Logic, Language and Information and Tbilisi Mathematical Journal.

Publications

Books, a selection:

  • 2006. Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 – July 5, 2006; proceedings. Edited with Arnold Beckmann, Ulrich Berger and John V. Tucker.
  • 2008. Games, scales, and Suslin cardinals. With Alexander S. Kechris and John R. Steel. Cambridge : Cambridge University
  • 2008. Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 – 20, 2008; proceedings. Edited with Arnold Beckmann and Costas Dimitracopoulos. Berlin ; Heidelberg [u.a.] : Springer
  • 2011. Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II. With Alexander S. Kechris and John R. Steel.

References

  1. ↑ "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences. Accessed May 19, 2013
  2. ↑ Benedikt Lowe, Boris Piwinger, Thoralf Räsch eds. (2005) Classical and New Paradigms of Computation and Their Complexity Hierarchies: Papers of the Conference "Foundations of the Formal Sciences III". Springer.
  3. ↑ MLQ website


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.