Gopal Gupta

Professor, Department of Computer Science,
                                New Mexico State University

(On leave of absence to UT Dallas).

Contact Information:

Email: gupta@cs.nmsu.edu
Tel: (505) 646 6236
Fax: (505) 646 1002
Office: 155 New Science Hall
Mailing Addr.: Box 30001/CS
                              Las Cruces
                              NM 88003
                              USA
Shipping Addr.: Rm. 123, New Science Hall,
                              Stewart St
                              Las Cruces
                              NM 88003
                              USA

Research Interests:

• Programming Languages: Implementation, Semantics, Applications, Constraint and Logic Programming, O-O Programming, Compilers, Compile-time Analysis.
• Software Engineering: Software Verification, Real-time Systems, Domain Specific Languages, Executable Specifications, Agent/Web based Computing, Interoperability.
• Parallel and Distributed Processing: High Performance AI and Constraint Logic Programming Systems, Automatic Parallelization, Parallel Architectures, Applications.

Education

• Ph.D (CS): UNC at Chapel Hill (1991)
• M.S. (CS): UNC at Chapel Hill (1987)
• B.Tech. (CS): Indian Institute of Technology, Kanpur, India (May 1985)
  

Projects

• The ACE Project: Parallel implementation of Prolog on shared memory multiprocessors. .
• Scalable Parallel Implementation of Constraint Logic Programs on a Distributed Network of SMPs. .
• Horn Logical Denotational Semantics: Theory, Practice, and Applications.
• Complexity Study of Dynamic Data-structures in Implementation of Advanced Programming Languages.
• Knowledgesheet: Spreadsheet Interface for Tabular Constraint Logic Programs over Finite Domains.
• NMSU Advising and Degree Audit System.
• Assistive Technologies
• Semantics based approaches to processing and querying XML documents.

Organizing Activities

• Co-organizer, CL2000 Workshop on Constraint Logic Programming and Software Engineering, LPSE2000.
• Co-founder and director of the Laboratory for Logic, Databases, and Advanced Programming. See the Lab Newsletter.
• Co-founder and Co-coordinator, COMPULOG AMERICAS , a network of research groups in the Western Hemisphere engaged in research on Computational Logic.
• Organizer, First COMPULOG AMERICAS Summer School on Constraint Logic Programming.
• Founding Organizer, First COMPULOG AMERICAS International Workshop on Practical Aspects of Declarative Languages; The next workshop in the series, PADL 2000, will be in Boston.
• General Chair, 16th International Conference on Logic Programming.
• Organizer, 1999 NSF PIs' meeting. of NSF's Research Infrastructure Award Holders.

Students: Past and Present

Ph.D. Students

• Enrico Pontelli, 1997, Ph.D. Thesis: Design and Implementation of the ACE System. Currently, Assistant Prof., NMSU. Recently awarded NSF CAREER grant;
• Pedro Marquez, 2000 (expected), Ph.D. Thesis: Fuzzy Constraint Logic Programming. Currently, Assistant Prof., University of Chihuahua II, Mexico.
• Haifeng Guo, 2000 (expected), Ph.D. Thesis: Distributed Implementation of (Constraint) Logic Programming Systems on a Network of Shared Memory Multiprocessors.
• Larry King, Ph.D. student.
• Xinhong Zhou, Ph.D. student.

Master's Students

• Nayana Datta (current). Thesis: Semantics-based Interoperability.
• Hai-Feng Guo (1999, on to Ph.D.). Thesis: Semantics-based Nemeth to Latex Backtranslation.
• Jose Mendez (1998, Texas Utilities Co.), Thesis: NMSU Advising and Audit System.
• Shameem Akhter (1998, now at Intel). Thesis: Knowledgesheet: A Spreadsheet Interface for CLP Programs.
• Federico Bassetti (1997, now at Los Alamos). Thesis: Performance Evaluation of Computer Systems.
• Jung-Wook Bang (1997, on to Ph.D. @ Imperial College, UK). Thesis: Automated Medical Diagnosis of Acid-Base Disorders.
• Rick Vaupel (1996, now at Lockheed). Thesis: Visualization of And-Or Parallel Execution.
• Haren Babu (1995, now at Sequent Corp.). Thesis: Or-parallelism on Distributed Machines.
• Greg Luce (1994, employment info. n/a). Thesis: Design/Impl. of a Parallelizing Compiler.

Teaching in Spring 2000

• CS171; Algorithmic Computation
• CS461; Logic Programming

My full CV (pdf format)

Miscellaneous

• Some of my favorite quotes

• When I am not doing Computer Science...

• In my spare time I serve as the Dean of Information Technology, Bond University, Australia.

• A brief guide to a tour of southern NM that I prepared