Michael D. Adams

I am a researcher in Computer Science currently working on the K Framework with Grigore Rosu in the Formal Systems Labratory (FSL) at the University of Illinois at Urbana-Champaign.

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

I’ve been involved in the development of

See Also