Michael D. Adams

From FSL
(Redirected from User:Adamsmd)
Jump to: navigation, search

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 postdoctoral 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

For a list of published papers and full CV please see my homepage.

Contact Information

2130 Siebel Center
Department of Computer Science
University of Illinois at Urbana-Champaign
201 N. Goodwin, Urbana, IL 61801

My Illinois NetID is "adamsmd". E-mail me by sending to that address on the illinois.edu domain.

Personal tools