Professor Daniel Kroening, a computer scientist, is Professor in computer science at the University of Oxford, and Co-founder at Diffblue.
Experfy Insights
Top articles, research, podcasts, webinars and more delivered to you monthly.
