Hello, my name is Matthew Davis. I am a 4th-year Ph.D. Student at Georgia Tech working under the advisorship of Dr. Vivek Sarkar in the Habanero Extreme Scale Software Research Laboratory and Dr. Vijay Ganesh in the Reasoning and Learning Group.

I am interested in:

• Program Analysis for Optimization and Correctness
• LLMs for Software Generation & Translation
• High-Performance & Scientific Computing

In particular, I have been working on leveraging program analysis techniques to improve LLM-based program generation and translation.

Contact Information

Email	matthew.davis@cc.gatech.edu
Phone	(713) 806-0852
Office	2319 KACB