Research Grants


Current Grants

  1. Co-PI, "Translating Math Notations: A Global Translation Appliance" Dept. of Education (NSF) $423,000, 2001-04. PI: Arthur Karshmer (USF), Co-PI: K. Miesenberger (Austria), Co-PI: E. Pontelli (NMSU), Co-PI: H. Guo (SUNY Stony Brook).
  2. PI, "Resources for Research in Scalable Parallel Computing and Networking Simulation" National Science Foundation (NSF) $63,000 (+$33,000 matching from UTD), 1999-02. Co-PI: Ravi Prakash, Ovidiu Daescu.
  3. Co-PI. Web-based Emergency Response Management Technology. US Environmental Protectation Agency. 2001-2003. $800,000, 2000-01. PI: D. Harris. Co-PI: B. Raghavchari.
  4. PI, "Horn Logic Denotations and their Applications" National Science Foundation (NSF) (International Division), $27,000, 1999-02. (Collaboration with Neil Jones (Denmark) and Michael Leuschel (England)).
  5. PI, "High-performance, Scalable Parallel Constraint Programming Systems," National Science Foundation (NSF) (Operating Systems and Compilers Directorate), $140,000, 1999-02. Co-PI: Enrico Pontelli.
  6. Co-PI. Web-based Emergency Response Management Technology. US Environmental Protectation Agency. 2000-2001. $374,000, 2000-01. PI: D. Harris. Co-PI: B. Raghavchari.
  7. Co-PI. Translator Filter Technology for Bioinformatics Software Tools. ARO subcontract through Physical Science Lab, NMSU. $55,000, 2000-01. PI: B. Milligan (NMSU Biology). Co-PI: D. Ranjan, E. Pontelli
  8. Co-PI, ``Training Students for Interdisciplinary Research and Teaching Careers in Computer Science and Traditional Sciences," DOE. $306,000, 2000-03. PI: A. Karshmer. Co-PI: D. Ranjan.
  9. Co-PI, ``Complexity Study of Dynamic Data-structures in Advanced Programming Language Implementation," National Science Foundation (NSF) (CISE Theory div.), $215,000, 2000-03. PI: D. Ranjan, Co-PI: E. Pontelli.
  10. Co-PI, "Mathematics Accessible to Visually Impaired Students" National Science Foundation (NSF), $367,000, PI: Art Karshmer, Co-PI: Sandy Geiger. 1998-2002.
  11. Co-PI, "Non-visual Browsing of the World Wide Web: Tables, Frames and Forms" National Science Foundation (NSF), $575,000, PI: Art Karshmer, Co-PI: Enrico Pontelli, Doug Gillan (Psych). 1999-2002.
  12. Project Co-director, "Irregular and Dynamic Parallelism in Symbolic and Scientific Computing," $1,500,000. (11 other Co-PIs). National Science Foundation (NSF) Infrastructure Grant (MII). 1999-2004
  13. PI, "Workshop for NSF PIs," National Science Foundation (NSF) $84,000, 1999-01.

Past Grants

  1. Co-PI, "Training Students for Research and Teaching Careers in Computer Science," DOE. $367,000, 1997-01. PI: A. Karshmer. Co-PI: D. Ranjan.
  2. PI, "Implementation Techniques for Parallel Logic Programming: Incremental Development of Parallel Prolog Engines," National Science Foundation (NSF) (Programming Languages and Compilers Directorate), $100,000, 1996-99.
  3. PI, "Parallel and Distributed Constraint Programming Systems on Multiprocessor PCs: Implementations and Applications, National Science Foundation (NSF), $37,000, 1998-1999, Co-PIs: E. Pontelli, J. Wiebe, D. Ranjan. (Research Instrumentation).
  4. PI, "Parallel Constraint Programming" National Research Council, $2,750, 1999-00. (Collaboration with Hungary).
  5. PI, "Summer School in Constraint Logic Programming," National Science Foundation (NSF) $11,300, 1999-00.
  6. Co-PI, "An Efficient Concurrent Constraint Framework for Symbolic and Internet/WWW Computing," $18,000. Fullbright Foundation. 1998-99. Co-PI: E. Pontelli.
  7. Co-PI, "Laboratory for Logic and Databases," National Science Foundation (NSF) (Human Resource Development Directorate), $152,200, 1997-2000, other PI: H. Hernandez.
  8. PI, "Implementation and Analysis of Parallel Logic Programming and Concurrent Constraint Systems," $27,000 (International Travel only). National Science Foundation (NSF) under National Science Foundation (NSF)-Esprit collaboration program. 1995-99.
  9. PI, "NMSU Advising and Degree Audit System," College of Arts and Sciences, NMSU $25,000, 1997-00. Co-PI: Art Karshmer.
  10. Co-PI, "WEB-KLIC: A Concurrent Logic-based Unified Framework for Programming the Internet," AITEC, Japan, 1997-99, 3.0 Million Yen (approx $27,000). Co-PI: Enrico Pontelli.
  11. PI, "And-Or Parallel Execution of Logic Programs: A Stack Copying Approach", National Science Foundation (NSF) (Research Initiation Award), $90,000, 6/1/92--5/31/96.
  12. Co-PI, "Laboratory for Logic and Databases," National Science Foundation (NSF) (Human Resource Development Directorate), $349,190, 1993-1996, other PI: Dr. Hector J. Hernandez.
  13. PI, "Towards an Efficient Implementation of Extended Andorra Model," $65,000, 10/1/92--9/30/94, Sandia National Labs.
  14. PI, "Parallel AI and Logic Programming," Oak Ridge National Laboratories Junior Faculty Enhancement Program, $5,000, 6/4/92--6/4/93.
  15. PI, "MAPLE: Multiprocessors And Parallel Logic Program Execution," NATO Collaborative Research Grant, Brussels, $13,500, co-PIs: D.H.D. Warren (U. of Bristol, UK), M. Hermenegildo (U. of Madrid, Spain), V. S. Costa (U. of Oporto, Portugal); Travel Only, 1/1/93--12/31/97.