Benjamin Sepanski
I am a second-year Ph.D. student at the Computer Science Department at UT Austin studying in the UToPiA group under Dr. Işil Dillig. I am also a second-year fellow of the Department of Energy Computational Science Graduate Fellowship. My research revolves around using program synthesis and verification problems to solve high-performance computing issues in the scientific domains.

I finished a B.S. in Mathematics at Baylor University in May, 2020
Back To Top Button