Research interests

Beyond my passion for discovering new ways to teach computer science, my primary areas of research interest are programming languages and software engineering. Specifically, I am interested in improving software development and maintenance by aiding in the identification of reusable components and the development of tools to assist in reverse engineering and program comprehension. I have found the application of insights and techniques of theoretical computer science and mathematical logic to be particularly useful in studying these problems.

Publications


home science@slc slc