AI researcher and mathematician at Pacific Northwest National Laboratory. Interested in Math for AI and AI for Math.