Registered user since Mon 2 Mar 2015
Mark graduated from the University of Illinois at Urbana-Champaign in 2009. His thesis focused on using rewriting logic semantics, a form of programming language semantics, to create language prototypes and to define program analysis and verification tools.
From 2009 to 2013 Mark was a postdoc at CWI, the Dutch National Math and Computer Science research center. As part of the Software Analysis and Transformation group he developed tools and analysis techniques for dynamic programming languages and automated refactoring. He was (and remains) an active participant in the Rascal project (rascal-mpl.org), which is focused on developing a meta-programming language for software analysis, software transformation, and DSL development.
Mark joined East Carolina University in 2013 as an Assistant Professor in the Department of Computer Science. He then moved to Appalachian State University in 2022, where he teaches courses in programming languages and software engineering. He is working with students on a number of topics related to static program analysis, program comprehension, empirical software engineering, language semantics, and domain-specific languages.
Contributions