About Me

Hi, I'm Matthew. I'm currently a first year PhD student at UCSB, working in the Verification Laboratory advised by Professor Tevfik Bultan. I graduated from UCSD with a B.S. in Computer Science in 2024.

Research

My main research interest lies in software verification, particularly for code generated by large language models. While LLMs are powerful tools, they still often generate unreliable and buggy code. Knowing this, how can we leverage such technologies to help automate programming tasks while also guaranteeing code correctness and security?

Updates

Making a Personal Website - February 6, 2025