1994-95 ACADEMIC ACTIVITIES REPORT NAME: TIMOTHY J. HICKEY DEPARTMENT: Computer Science I. INSTRUCTIONAL ACTIVITY (Summer 1994, Fall 1994, Spring 1995) a) Semester Course Number and Title Class Contact Enrollment Hours UnderG. Graduate TYP Weekly Autumn 1994 CS 2a 3 58 0 Autumn 1993 Math2 TYP 3 8 Autumn 1993 CS98a Independent Study 1 1 0 Spring 1994 CS11a 4 70 10 Spring 1994 Math2 TYP 3 8 Spring 1994 CS98b Independent Study 2 2 0 Spring 1994 CS400d Diss. Research 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 Qun Ju 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 investigating the application of interval arithmetic methods and constraints to the problem of declarative scientific programming. 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. In Massively Parallel Programming I am looking into parallelizing the logic programming system described above. I am planning on investigating the parallel implementation of various cellular automata algorithms including lattice gas algorithms. b) Manuscript (s) or artistic work accepted for publication (List journal or publisher and anticipated publication date.) 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. CLP(F) and Constrained ODEs, T. Hickey, Proceedings of the Workshop on Constraint Languages and their use in Problem Modelling, Editors Jourdan, Lim, Yap, ECRC Technical Report ECRC-94-38 pp. 69-79 also available on the internet at ftp://ftp.ecrc.de/pub/ECRC_tech_reports/ECRC-94-38 d) Artistic creation (please describe) III. AWARDS AND HONORS (dates) Grant Support 1. NSF research grant in Logic Programming (93-95) CCR-9403427, co-PI with J. Cohen. 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. Departmental Undergraduate Advisor VI. PARTICIPATION IN UNIVERSITY ACTIVITIES, COMMITTEES, ETC. 1. Member of Wien Advisory Committee 2. Department Liason to Admissions Department.