Davis Automated Reasoning Group

The Davis Automated Reasoning Group (DARG), led by Prof. Aditya Thakur, is a team of researchers who develop tools and techniques for reasoning about software. The research conducted by DARG intersects with the areas of programming languages, formal methods, machine learning, and software engineering.

Projects

People