I am interested in systems designed to make Large Language Models verifiable and trustworthy. My research experience spans evaluating sustainability, formal test verification for blockchain contract security, graph-based reasoning extraction, and mutation-based evaluation of LLM-generated tests.