I am interested broadly in the fields of programming languages and software engineering, especially where they intersect. Specifically, my research focuses on program analysis and programming language semantics, with applications in areas such as refactoring, program comprehension, and program verification. My goal is to provide developers with powerful new tools for understanding, creating, analyzing, and improving software. As part of this, I am a continuing contributor to Rascal, a meta-programming language for program analysis, program transformation, and programming language implementation. I’m also still an active user of the Maude system, focusing on uses of Maude for language specification and analysis.