Daniel Kroening
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Official site | kroening.com |
| Born | Mainz |
| Germany | |
| Affiliations | Amazon Inc. |
| Citations | 26,950 |
| Education | Saarland University |
| Edited works | Decision Procedures: An Algorithmic Point of View |
| Co authors | Edmund M. Clarke |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3352156 |
Daniel Kroening Life story
Daniel Kroening is a German computer scientist, Professor in computer science at the University of Oxford, and Chief Science Officer at the company he co-founded, Diffblue Ltd. He is a fellow of Magdalen College.
