Business Plan and Pitch: form and content for a successful university start-up
Multiple equilibria in natural sciences
Proof theoretical issues in Martin-Löf Type Theory and Homotopy Type Theory