Dave Abrahams
Adobe Systems (United States)(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Formal Methods in Verification, Scientific Computing and Data Management, Semantic Web and Ontologies