Graduate Student, Computing Laboratory
Research Student
Wolfson
|
Daniel Kroening
|
About
I am broadly working in the area of automated software verification. I am interested in model-based testing, model-based design, automated test case generation, model checking, and ubiquitous and embedded systems.
Contact Information
| Homepage: | |
| Address: | 448, Wolfson Building, Parks Road, OX1 3QD, Oxford, United Kingdom |
