Welcome to Craft Lab!

June 18, 2026

The Computational Reasoning and Formalized Theory (CRAFT) Lab is a research lab at the Texas Advanced Computing Center (TACC) at the University of Texas at Austin. We work on computational reasoning systems that scale.

Working With Us

CRAFT Lab is interested in collaborating with students, faculty and staff researchers working in the areas of Formal Methods, AI, Mathematics/CS theory and/or scalable systems. We welcome inquiries from prospective researchers with backgrounds in one or more of the following areas:

• Formal Methods, including Interactive Theorem Provers (e.g., Lean), SAT/SMT solvers, or model checking
• AI/ML, particularly as applied to reasoning, formalization, or verification
• Systems and infrastructure for research computing
• Theoretical Mathematics, Computer Science, or Logic.

If you are interested in contacting CRAFT Lab, please send an email to Joe Stubbs.