Revolutions and Paradigms in Logic. The case of proof-theoretic semantics (DFG Project, Carl Friedrich von Weizsäcker Center, University of Tübingen)
The Hilbertian Roots of Proof-Theoretic Semantics (IVC Fellowship Project, Institut Wiener Kreis, University of Vienna)