Professor Alessandro Abate (University of Oxford): Sound Control Synthesis with Logics and Data