I have been working with software for over a decade now and it has always fascinated me: I find software systems (when they work) to be incredible feats of human organization and automation.
Unfortunately, the development process is difficult and frustratingly inconsistent. My research aims to improve this situation with new automated program analysis tools that assist with the difficult tasks of program understanding, software maintenance, and finding and fixing software bugs.
I am actively recruiting M.S. and Ph.D. students to join my research group. If you are interested and are currently a student at UT Dallas, please consider enrolling in my course this fall. I would also encourage any interested prospective students to apply to UT Dallas.
Please see my research page and my papers for more information.