Postdoctoral researcher, Ambizione Fellow, Theoretical Computer Science and Logic, University of Bern.
