My research interest is in designing high performance secure systems that have a strong foundation in security. Since computer security cuts across multiple layers of the computing stack, my research areas include topics in program verification, compilers, runtime systems, and computer architecture.
Before researching topics in computer security, I worked on designing tools for optimizing scientific applications on high performance computing systems. The research experience gained from optimizing programs provides a reliable foundation that I use in my current research.
I teach a freshman course on computer security at UT Austin. The primary objective of this course is to help freshman students understand and engage in research. In accordance with the objective, students in this class read research papers, improve technical communication skills, and brainstorm research ideas.
Once in a while, I write about research or teaching. Here are some notes on these topics.