CRAFT Lab Team

Leadership

Joe Stubbs

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

Walter Moreira

Walter Moreira
Mathematician
Functional Programming Lead

Research Associate, Texas Advanced Computing Center, University of Texas at Austin

Walter's research focuses on formal methods, functional programming languages, and type theory.

Email | GitHub

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.

Students and Postdocs

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