I am a PhD student in the Department of Electrical and Computer Engineering University of California, Davis.
I am interested in developing reliable and verifiable systems, particularly in the realm of code language models. I am dedicated to ensuring these models generate programs that align with their intended purpose, enabling users to leverage technology effectively and confidently. If you share a passion for verifying systems and trustworthy LLMs and would love to chat or connect, I’d be happy to hear from you! Please don’t hesitate to reach out!
Machine Learning, Programming languages, Formal Methods, LLMs, Open Source Software Static and Dynamic Analysis