Michael D. Adams

From FSL
Revision as of 16:08, 2 August 2013 by Adamsmd (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Adamsmd-head-shot-small.jpg

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

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

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

Personal tools
Namespaces

Variants
Actions
Navigation