Andrew Tolmach
University/Research Lab: Portland State University
Location: (Portland, OR)
Personal Research Web Page: http://www.cs.pdx.edu/~apt
Keywords: functional programming, high-assurance programming, program verification, runtime systems, compilers, Haskell, ML, Coq
Location: (Portland, OR)
Personal Research Web Page: http://www.cs.pdx.edu/~apt
Keywords: functional programming, high-assurance programming, program verification, runtime systems, compilers, Haskell, ML, Coq
Posted on: Tuesday, May 26th, 2009
Broad Research Area: Information Assurance / Security / Privacy / Cryptography, Programming Languages / Compilers
Research Interests:
My research interests are in programming languages, compilers, tools, and applications. I currently focus on high-assurance systems software development under the umbrella of the PSU HASP project. I’m especially interested in formal verification of runtime system components.
