CRAFT Lab is a research lab at the Texas Advanced Computing Center (TACC) at the University of Texas at Austin (UT Austin). We work on computational reasoning systems that scale. We work on computational reasoning systems that scale.
The lab develops and deploys production-grade software infrastructure for use
in theoretical research in mathematics, computer science, and software verification. Our work spans Interactive Theorem Provers (ITPs) such as Lean, SAT/SMT solvers, and the integration of Formal Methods with modern AI including autoformalization and AI-assisted proof search.
The CRAFT Lab Seminar Series brings together researchers working across the areas of Formal Methods, Automated Reasoning, Artificial Intelligence, and theoretical Mathematics. Talks are held monthly on Thursdays at 3:00 PM CT and are open to all.
The CRAFT Lab develops formal reasoning systems and makes production-grade tools and services accessible at scale. Our research sits at the intersection of Formal Methods, Artificial Intelligence, theoretical Mathematics and scalable systems infrastructure.
Published
The Computational Reasoning and Formalized Theory (CRAFT) Lab is live and we are excited to work with you.
Joe's research focuses on cloud computing and distributed systems, formal methods, AI and scalable research computing infrastructure. He is a Research Scientist at TACC, and leads the Cloud and Interactive Computing group. He also holds a faculty appointment in the Computational Engineering program within the University of Texas at Austin Cockrell School of Engineering.
