1991-92 ACADEMIC ACTIVITIES REPORT

NAME: TIMOTHY J. HICKEY                        DEPARTMENT:  Computer Science

I.  INSTRUCTIONAL ACTIVITY (Summer 1991, Fall 1991, Spring 1992)

a) Semester   Course Number and Title   Class  Contact      Enrollment
                                               Hours    UnderG.	Graduate
                                               Weekly
  1. Autumn 1991  CS21a Design and Int. ...	 6	28	1	
  2. Autumn 1991  CS22a Lab. for CS21a		 4		28
  3. Autumn 1991  CS98a Independent Study	 1	 1
  4. Autumn 1991  CS200a Readings in CoSci	 1	 1
  5. Spring 1992  CS140 Logic Programming	 6	15	11
  6. 1991-92      CS406 Dissertation Rsh	 2

b)  Advising (total contact hours per week: 	 3)
    1)  number of general or freshman advisees: 	14
    2)  number of undergraduate departmental advisees:	17
    3)  number of graduate advisees:			 3

c)  Please describe your involvement in the direction of senior
theses, graduate dissertations and other student research projects.
   1. Advisor of 3 Ph.D. students (S. Mudambi, D. Smith, M. Feeley)
   2. Member of Defense Committee for Senior Honors Thesis in Economics

   3. I am a PI on an NSF Proposal (CDA-9214917) to purchase $490,120
      worth of parallel computer equipment for undergraduate education.
      The proposal is to provide our students with state-of-the-art
      computing facilities and to revise our curriculum to include
      the study of parallel computation in almost all undergraduate
      classes.


II.  RESEARCH, PUBLICATIONS, ARTISTIC CREATION (use additional page if
     necessary.)

a)  Describe current research activities or work in progress:

  My current research is in two areas:  Massively Parallel Programming, and
  Logic Programming.

  In Logic Programming I am currently pursuing several lines of research:

  FIRST ORDER LOGIC PROGRAMMING: I am designing and implementing logic 
  programming languages which use as large a subset of the first order
  predicate calculus as possible while staying with the domain of
  efficient computation.

  PARTIAL EVALUATION OF CONSTRAINT LOGIC PROGRAMS: I am developing
  algorithms for partially evaluating constraint logic programs. The
  goal is to determine whether or not fully automatic partial evaluation
  of general programs is feasible. 

  HIGHER ORDER CONSTRAINT LOGIC PROGRAMMING. I am designing and implementing
  languages that combine the essential features of several here-to-fore unrelated
  computational paradigms: logic programming, constraint programming, functional
  programming, set-based programming, and object orient programming. The key
  idea is to observe that although these paradigms rely on models of computation
  that are quite different, they can all be embedded in a logic programming
  framework. 

  DESIGNING CLP LANGUAGES FOR NATURAL LANGUAGE PROCESSING. I am just beginning
  this project. The goal is to work with computational linguists to determine
  the types of constraints that arise naturally in natural lanugage processing
  and to design constraint domains which model these constraints, and 
  CLP languages based on these domains which can be used to specify and
  implement natural language processing tools (e.g., parsers).

  Articles in preparation
  1. Higher Order Constraint Logic Programming.
  2. The Semantics of First Order Constraint Logic Programming.
  3. A Practical First Order Logic Programming System.

  In Massively Parallel Programming I am working on several projects with
  George Mou. The main thrust of our work is to develop languages for
  specifying divide and conquer algorithms on massively parallel machines.



b)  Manuscript (s) or artistic work accepted for publication (List
    journal or publisher and anticipated publication date.)
  1. "Functional Unificaiton in Constraint Logic Programming"
     accepted for publication in "Constraint Logic Programming,"
     (F. Benhamou, A. Colmerauer eds.), MIT Press.
  2. "Computer Assisted Microanalysis of Parallel Programs,"
     (with J. Cohen, T. Petitjean, H. Hotta),
     accepted for publication in ACM Transactions on Programming
     Languages and Systems.
  3. "Meta-level Interpretation of Constraint Languages. A Case Study:
      Logical Primitives." (with J. Cohen, V. Deschamps) accepted for
      publication in New Generation Computing.

c)  Publications since June, 1991 (with inclusive page reference
    for articles).  Please use standard form:  author(s) or editor(s), title,
    number of pages, publisher, location, date.

  1. "Toward the Partial Evaluation of Constraint Logic Programs,"
      Proceedings of the Symposium on Partial Evaluation and Semantics-Based
      Program Manipulation, New Have, June 1991, ACM Press, pp. 43-51.
  2. Divide and Conquer on a 3 Dimensional Mesh
     (with Z.G. Mou, and C. Constantinescu). Proceedings of the European
     Workshop on Parallel Computing, Barcelona, Spain, March 1992,
     pp. 344-355.
  3. "Optimal mappings of divide-and-conquer algorithms ot mesh 
      connected parallel architectures." (with Z.G. Mou, C. Constantinescu,
      M. Goodman, C. Kuzhukin). In Proceedings of the MassPar Users' Group Meeting.
      November 1991.


d)  Artistic creation (please describe)



III.  AWARDS AND HONORS (dates)


     Grant Support
  1. NSF research grant in Logic Programming
     CCR-9115326, co-PI with J. Cohen.
  2. NSF research grant in Microanalysis
     CCR-8814261, participant w J. Cohen,
     (proposal for continuation has been submitted).
  3. REU supplement supporting undergraduate research
     for both grants: co-PI with J. Cohen.

IV.  PROFESSIONAL ACTIVITIES OUTSIDE THE UNIVERSITY
     (lectures, activities in professional societies, legislative testimony,
     paid consulting, equity arrangements, etc.)
  1. Refereed articles submitted for publication in
     a) Journal of Logic Programming 
     b) International Logic Programming Symposium
  2. Program Committee Member for the 1992 Workshop
     on Partial Evaluation and Semantics-Based Program
     Manipulation, to be held June 1992 in San Francisco.
  3. Exhibits chair for the Joint International Conference
     and Symposium in Logic Programming, to be held in
     Washington, D.C. in November 1992.

  
V.  PARTICIPATION IN DEPARTMENTAL ACTIVITIES AND ADMINISTRATION

  1. Department Liason to Admissions Department.


VI.  PARTICIPATION IN UNIVERSITY ACTIVITIES, COMMITTEES, ETC.

  1. Member of Wien Advisory Committee
  2. Participant in Focus groups on teaching