Benedikt Löwe is assistant professor at the Institute for Logic, Language and Computation at the University of Amsterdam and director of its graduate program in logic.