Michael D. Adams

I am a researcher in Computer Science at the University of Utah currently working with Matthew Might in the U Combinator lab.

My research area is programming languages with an emphasis on types, static analysis, control-flow analysis, syntax, parsing and compilers.

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, did post-doctoral research on the High-Assurance Systems Programming (HASP) project with Mark Jones, Jim Hook and Andrew Tolmach at Portland State University, and did post-doctoral research research on the K Framework with Gregory Rosu.

I’ve been involved in the development of

See Also