Daniel Kroening is affiliated with Amazon in the United States and has a primary research focus in computer science. Their work spans several subfields including artificial intelligence, software, computational theory and mathematics, information systems, and signal processing.
Their research covers a range of topics, notably:
Kroening's publication record is extensive with 109 publications primarily concentrated in computer science. Frequent publication venues include:
Some of their recent notable papers are:
The scientist has collaborated frequently with a number of co-authors, including:
These collaborations have contributed to the diverse areas within computer science that Kroening investigates, particularly in reinforcement learning and formal verification methods.
Edmund M. Clarke;Daniel Kroening;Flavio Lerda
V. D'Silva;D. Kroening;G. Weissenbacher
Xiaowei Huang;Daniel Kroening;Wenjie Ruan;James Sharp
Daniel Kroening;Michael Tautschnig
Edmund Clarke;Daniel Kroening;Karen Yorav
Edmund Clarke;Daniel Kroening;Natasha Sharygina;Karen Yorav
Daniel Kroening;Ofer Strichman
Youcheng Sun;Min Wu;Wenjie Ruan;Xiaowei Huang
Daniel Kroening;Ofer Strichman
Edmund Clarke;Daniel Kroening;Natasha Sharygina;Karen Yorav
Alex Groce;Sagar Chaki;Daniel Kroening;Ofer Strichman
Youcheng Sun;Xiaowei Huang;Daniel Kroening
Jade Alglave;Daniel Kroening;Michael Tautschnig
Randal E. Bryant;Daniel Kroening;Joël Ouaknine;Sanjit A. Seshia
Edmund M. Clarke;Daniel Kroening;Joël Ouaknine;Ofer Strichman
Thomas Witkowski;Nicolas Blanc;Daniel Kroening;Georg Weissenbacher
D. Kroening;N. Sharygina
Alastair F. Donaldson;Leopold Haller;Daniel Kroening;Philipp Rümmer
Alexander Kaiser;Daniel Kroening;Thomas Wahl
Vijay D’Silva;Daniel Kroening;Mitra Purandare;Georg Weissenbacher
Daniel Kroening;Michael Tautschnig
Vijay D'Silva;Daniel Kroening;Georg Weissenbacher
Alex Groce;Sagar Chaki;Daniel Kroening;Ofer Strichman
If you think any of the details on this page are incorrect, let us know.
Exploring Computer Science in the USA opens doors to various online degree options and career pathways. Many students wonder, what masters program should I do to boost their career in technology. Popular choices include Master’s degrees in Artificial Intelligence, Data Science, and Cybersecurity, which remain in high demand.
For those looking for a faster and flexible entry into the tech field, earning associates degrees online is an excellent way to acquire foundational skills and start a tech career sooner. These programs are often more affordable and can be completed in less time.
Cost remains a key factor for many students when choosing a program. Thankfully, you can find affordable online degree programs that offer quality education without the hefty price tag, helping students graduate with less debt.
If your academic record isn’t perfect, there are still opportunities for advancement. Many online schools that accept low gpa give students a chance to start or further their education, making Computer Science more accessible to everyone.
Fudan University
University of California, Davis
University of Michigan–Ann Arbor
University of Pennsylvania
National Institutes of Health
Yonsei University
Cornell University
University of Potsdam
University of Florence
University of Virginia
Baylor College of Medicine
Shenzhen University
Huaiyin Institute of Technology
Los Alamos National Laboratory
University of Southern Queensland
Courant Institute of Mathematical Sciences
