This week Luca San Mauro of the TU Wien is visiting the Algorithm Engineering group. He is a postdoctoral researcher at the Institute of Discrete Mathematics and Geometry. There, he works on computable structures, a field at the interface of computability theory and logic.
