Hello, my name is Matthew Davis. I am a third 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 Engineering
• High-Performance & Scientific Computing

In particular, I have been working on Hybrid Program Analysis to increase the efficiency and correctness of program analysis by combining the strengths of LLM-based, static, and dynamic analyses.

Contact Information

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