Michael D. Adams

I am a Ph.D. in Computer Science currently doing postdoctoral research on the high-assurance systems programming (HASP) project at Portland State University.

I graduated from Indiana University and my research area is programming languages with an emphasis on types, static analysis, control-flow analysis 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’ve been involved in the development of

• the Glasgow Haskell Compiler,
• the Chez Scheme compiler,
• the X10 language and of course
• the Habit compiler.

See Also

• My published papers
• Talks that I’ve given
• Miscellaneous projects I’ve done in my spare time
• Courses that I’ve taught
• How to contact me
• My full curriculum vitae and research statement