I am a Research Assistant Professor in Computer Science at the University of Utah and currently run the U Combinator lab.
My research area is programming languages with an emphasis on static analysis/control-flow analysis, syntax and parsing, compilers and optimization, and next-generation languages.
My research objectives relate to the design, implementation and construction of programming languages, compilers and software analysis tools that help programmers more easily implement, reason about, prove correct and improve the performance of their programs.
I graduated from Indiana University under the supervision of R. Kent Dybvig and did post-doctoral research on:
I’ve been involved in the development of: