lastland

Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.

Company:Portland State UniversityLocation:Portland, OR

lastland's Stars