People

Leadership

A photo of Joe Stubbs, a middle-aged man with shoulder-length hair and a button-up shirt.

Joe Stubbs
CRAFT Lab Director

Research Scientist, Texas Advanced Computing Center
Faculty, Computational Engineering, Cockrell School of Engineering
University of Texas at Austin

Joe's research focuses on cloud computing and distributed systems, formal methods, AI and scalable research computing infrastructure. He leads the Cloud and Interactive Computing group at TACC.

Email | Google Scholar | GitHub

Students and Postdocs

We are in the process of building our team. Funded positions for PhD students and postdoctoral researchers will be announced here.

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.

We anticipate having funding for one or more positions in the near future. We will post specific funded position announcements below as they become available.