Mark Hills

I am interested broadly in the fields of programming languages and software engineering, especially where they intersect. Specifically, my research focuses on program analysis, programming language semantics, and program verification, with a goal of helping developers create more reliable software systems while being better able to understand the systems they are building. I’m also interested in using ideas from language workbenches and language semantics to turn these ideas into tools that can be used both by developers and by other researchers. 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.