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.
Dr. Kroening works on automated methods for reasoning about trained software components, and deep neural networks in particular.
Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith: Model Checking, second edition, MIT Press, 2018.
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening: Concolic testing for deep neural networks, Automated Software Engineering, 2018
Decision Procedures — an Algorithmic Point of View, Kroening, Daniel, Strichman, Ofer, Springer. 2008.