Current Research Support

Jonathan  Cook   

PI.   " Active Support for the Evolution of Component-Based Software ".   NSF,  2003-2006

Co-PI.   " CSEMS Scholarships for NMSU ".   NSF,  2004-2007

PI.   " Software Process Analysis: Integrating Models and Data ".   NSF,  1998-2002

Co-PI.   " Management of Dynamic and Irregular Parallelism in Symbolic and Scientific Computing ".   MII, NSF,  1999-2003

Roger  Hartley   

PI.   " Conceptual Graphs Applied to Hybrid Dynamical Systems ".   NSA,  1999-2001

PI.   " Management of Dynamic and Irregular Parallelism in Symbolic and Scientific Computing ".   MII, NSF,  1999-2003

Enrico  Pontelli   

PI.   " Parallel and Distributed Constraint Programming: Methodologies, Applications, and Educational Opportunities ".   CAREER, NSF,  1998/02

PI.   " Parallel Logic and Constraint Programming with Applications to Planning and Web Accessibility ".   Research Resources, NSF,  2001-2003

PI.   " Implementation and Compilation of High Performance Scalable Parallel Constraint Programming Systems ".   NSF,  1999-2002

Co-PI.   " Dynamic Data Structures in Advanced Programming Languages Implementation ".   NSF,  2000-2003

PI.   " Non-Visual Browsing of the World-Wide Web: Tables, Frames, and Forms ".   NSF,  1999-2002

Co-PI.   " Development of a Tool to Enhance Communication between Blind and Sighted Mathematicians, Students, and Teachers ".   Department of Education,  2001-2004

Co-PI.   " Management of Dynamic and Irregular Parallelism in Symbolic and Scientific Computing ".   Minority Institution Infrastructure, NSF,  1999-2003

Desh  Ranjan   

Co-PI.   " Parallel Logic and Constraint Programming with Applications to Planning and Web Accessibility ".   Research Resources, NSF,  2001-2003

PI.   " Dynamic Data Structures in Advanced Programming Languages Implementation ".   NSF,  2000-2003

Co-PI.   " Management of Dynamic and Irregular Parallelism in Symbolic and Scientific Computing ".   Minority Institution Infrastructure, NSF,  1999-2003

PI.   " An Interdisciplinary Program for Training Students for Computing-oriented Careers in Research and Teaching ".   GAANN, Department of Education,  2000-2003

Son Cao  Tran   

Co-PI.   " Agent Development and Control Verification using Dual Characterizations ".   NASA,  2001-2002

Co-PI.   " Parallel Logic and Constraint Programming with Applications to Planning and Web Accessibility ".   Research Resources, NSF,  2001-2003

Karen  Villaverde   

Co-PI.   " The Computing Alliance of Hispanic-Serving Institutions (member) ".   NSF/BPC,  2006-2009