I am a first-year Ph.D. student at UT Austin, and my advisor is Işıl Dillig.
I'm interested in the area of Programming Languages where I could employ reasoning and checking techniques to help developers write readable, correct, and efficient programs. Now, I work on automating source-to-source translation problems.
I did my B.S. in Computer Science and Mathematics at UC San Diego, working with Nadia Polikarpova.
PhD application for Fall'21 submitted.
I won Third Place at POPL'20 SRC and had a good time attending my first conference.
More activities here.