Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
 

14.05.2018

Scientific visitor in May

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.