Implementation of Functional Logic Languages,
sole investigator,
National Science Foundation, $399,380, 2002-05.
Non-Deterministic Computations for Functional Logic Programs,
sole investigator,
National Science Foundation, $186,000, 2001-04.
Advanced Techniques for Multi-Paradigm Declarative Languages,
principal investigator,
(with B. Massey,
international counterpart
Michael Hanus)
National Science Foundation, $12,808, 2000-02
Needed Narrowing Strategies, sole investigator,
National Science Foundation, $77,436, 1994-96.
Colloquium Series on Programming Languages, sole organizer
Oregon Center for the Advacement of Technology and Education,
$7,500, 1993-94.
Decommissioning and Decontamination Screen,
co-principal investigator,
(with D. Hamlet
and W. Harrison)
Battelle Pacific Northwest Laboratories,
$145,614, 1993.
Software Reuse through Generator-Based Programming,
sole investigator,
(parallel research with
T. Sheard)
Oregon Advanced Computing Institute & Tektronix, Inc.
$30,886, 1992-93.
Colloquium Series on Term Rewriting,
principal organizer,
(with D. Kieburtz)
Oregon Center for the Advacement of Technology and Education,
$7,500, 1990-91.
Design Strategies for Algebraic Specifications,
sole investigator,
National Science Foundation, $70,000, 1989-92.
Member of the University of Maryland team
in the ACM Student Programming Contest,
New Orleans, 1985 (placed 3rd at the nationals).
The 1985 ACM Washington D.C. Outstanding M.S. Student Fellowship,
$1,500, 1985.
|