Bio

Dr. Mark Hills is an Associate Professor in the Department of Computer Science at Appalachian State University. He received his Ph.D. from the University of Illinois at Urbana-Champaign and his undergraduate degree in Computer Science from Western Illinois University. Prior to joining Appalachian State, he was a faculty member at East Carolina University and, before this, a postdoc in the Software Analysis and Transformation group at CWI (the Dutch National Math and Computer Science research institute). His research and teaching focus on topics related to programming languages, program analysis, and software development, including the formal semantics of programming languages, program analysis, program verification, program transformation, and empirical software engineering. His work has been actualized in a number of tools, including the C Policy Framework for C program analysis, PHP AiR for PHP program analysis, and Go Air for Go program analysis and verification.

Area(s) of Expertise

Program Analysis
Programming Language Semantics