Benedikt Löwe
| Benedikt Löwe | |
|---|---|
| Born | 1972 |
| Fields | Mathematics, Logic |
| Alma mater | Humboldt University of Berlin |
| Doctoral advisor | Ronald Jensen, Donald Anthony Martin |
| Doctoral students |
Stefan Bold Ioanna M. Dimitriou H. Daisuke Ikegami Yurii Khomskii Eva Müller-Hill Brian Semmes Sara L. Uckelman |
| Known for | Descriptive Set Theory |
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]
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. 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
- ↑ "Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences. Accessed May 19, 2013
- ↑ 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.
- ↑ MLQ website
External links
- Home page University of Amsterdam
- Benedikt Löwe at the Mathematics Genealogy Project