Prayash Joshi
Research and Engineering
SUMMARY
Interested in systems designed to make Large Language Models verifiable and trustworthy, with research experience in sustainability evaluation, blockchain contract security, graph-based reasoning extraction, and mutation-based evaluation of LLM-generated tests.
EDUCATION
Virginia Tech
Graduate coursework in Computer Science ยท
SKILLS
Research Interests
Human-AI TeamingFormal VerificationGenerative UIsInterpretable AI