Daniel Kroening

Daniel Kroening is Professor of Computer Science at the University of Oxford.