1994-94 ACADEMIC ACTIVITIES REPORT

NAME: TIMOTHY J. HICKEY                        DEPARTMENT:  Computer Science

I.  INSTRUCTIONAL ACTIVITY (Summer 1994, Fall 1994, Spring 1994)

a) Semester   Course Number and Title   Class  Contact      Enrollment
                                               Hours    UnderG.	Graduate TYP
                                               Weekly
  1. Autumn 1993  CS140 Logic Programming	 6	12 	 7
  2. Autumn 1993  Math2 TYP			 3			 8
  3. Autumn 1993  Math3 TYP			 3			 8
  4. Autumn 1993  CS200a Readings in CoSci	 1	 0	 1
  5. Autumn 1993  CS300a Masters Study		 1	 0 	 1

  1. Spring 1994  CS21b				 4	32	 0
  2. Spring 1994  CS22b				 3	33	 0
  3. Spring 1994  Math2 TYP			 3			 8
  4. Spring 1994  CS98b Independent Study	 1	 1	 0
  5. Spring 1994  CS200b Readings		 1	 0	 1
  6. Spring 1994  CS200b Readings		 1	 0	 1
  7. Spring 1994  CS300b Masters Study		 1	 0 	 1

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

c)  Please describe your involvement in the direction of senior
theses, graduate dissertations and other student research projects.
   1. Advisor of 1 Ph.D. students 
        Don Smith -- graduated this year
   2. Advisor of 2 MA. students
        Marlo Ciccone -- studying automated theorem proving
        Oz Lubling -- studying internet interface programs
   3. Advisor of 1 senior independent study
        Rafi Levavy -- studying applications of computers in the Theatre


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:

  INTERVAL ARITHMETIC, CLP(RIA), AND PARALLELISM. In this project we are
  studying an exciting new approach to solving non-linear arithmetic constraints
  and we are incorporating this constraint solver into a CLP language, CLP(RIA), which
  is being implemented on sequential and parallel machines. The approach is to
  represent partial solutions to a system of equations by associating an interval
  [x_lo,x_hi] to each variable and to use the constraints to narrow these intervals.
  In practice this technique has been demonstrated to yield solutions to non-linear
  optimization problems exceptionally quickly, *and* because of the logical basis
  of the constraint solver, one actually obtains a proof that the given solution is
  optimal (modulo some rather weak assumptions). 

  We are currently studying applications of interval arithmetic to
  problems in the other sciences: physics, chemistry, biology. For example,
  we are studying the constrained N-body problem in which one knows
  that there are N bodies interacting by gravity and one has some information
  about the bodies. One then attempts to find all solutions to the problem
  which satisfy the given constraints. The discovery of Neptune is a simple
  example of this sort of problem. As is the determination of the masses of
  bodies from observations of their positions. 

  The Constrained N-body Problem is a simple of example of a new paradigm of 
  computing that we call Declarative Scientific Programming. In this model
  one describes a physical system by constraints and then searchs for solutions
  to those constraints. 
  
  In Massively Parallel Programming 

  LANGUAGES FOR MASSIVELY PARALLEL PROGRAMMING
  In Massively Parallel Programming I am working with
  George Mou. The most exciting current project is the development of a
  new programming language for massively parallel machines based on a
  generalization of cellular automata. This new language is powerful 
  enough to capture all divide-and-conquer applications as well as the
  standard simulation programs.




b)  Manuscript (s) or artistic work accepted for publication (List
    journal or publisher and anticipated publication date.)

  1. D. Smith, T. Hickey, ``Multi-SLD Resolution"
     to appear in LPAR'94: The Proceedings of the Conference
     on Logic Programming and Automated Reasoning.


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

d)  Artistic creation (please describe)



III.  AWARDS AND HONORS (dates)


     Grant Support
  1. NSF research grant in Logic Programming (91-93)
     CCR-9115326, co-PI with J. Cohen.
     (grant renewal is pending)

  2. NSF research grant in Microanalysis (93-95)
     CCR-9207964, co-PI w J. Cohen, Z.G. Mou,

IV.  PROFESSIONAL ACTIVITIES OUTSIDE THE UNIVERSITY
     (lectures, activities in professional societies, legislative testimony,
     paid consulting, equity arrangements, etc.)
  
V.  PARTICIPATION IN DEPARTMENTAL ACTIVITIES AND ADMINISTRATION

  1. Participated in the Faculty Position search 
  2. Participated in revision of the department curriculum
  3. Participated in the NSF CISE Infrastructure grant
  4. Participated in selection of graduate students

VI.  PARTICIPATION IN UNIVERSITY ACTIVITIES, COMMITTEES, ETC.

  1. Member of Wien Advisory Committee
  2. Department Liason to Admissions Department.