PhD student at Arizona State University working on AI, formal reasoning, and machine learning.
Short description of portfolio item number 1
Short description of portfolio item number 2