Program Analysis and Verification with Rewriting Logic and Rascal Mark Hills Feb 22, 2024 PDF Mark Hills Associate Professor My research interests include programming languages, program analysis, and software engineering.