Her interests lie at the intersection of Software Engineering, Formal Methods, and Machine Learning ... UT Austin Engineering School Continuing Fellowship. She serves on the program committees of top ...