Professor Daniel Kroening

Subject: Computer Science and Maths


Dr. Kroening was Professor in Computer Science in the University’s Department of Computer Science from 2008 until 2020. He is now a senior researcher at Amazon.

Research Interests

Dr. Kroening works on automated methods for reasoning about trained software components, and deep neural networks in particular.

Selected Publications