2000-2001 ACADEMIC ACTIVITIES REPORT
(dates covered: 4/1/00 - 3/31/01)




I. NAME AND DEPARTMENT

Timothy J. Hickey,

II. INSTRUCTIONAL ACTIVITIES

  1. List courses taught throughout the year, (title, number, enrollments, hours per week). For team-taught courses, please provide details of your specific responsibilities. Please discuss, if applicable, new courses created, new pedagogical materials and techniques, and supervision of teaching assistants. You may wish to attach course syllabi and relevant course materials.

    Courses taught -- (457 students taught)


    SCHEDULE: AUTUMN 2000 MONDAY TUESDAY WEDNESDAY THURSDAY FRIDAY 9:00 CS2a CS2a CS2a 9:30 CS2a CS2a CS2a 10:00 TYP Math TYP Math TYP Math 10:30 TYP Math TYP Math TYP Math 11:00 OH 11:30 OH 12:00 12:30 1:00 OH 1:30 OH OH 2:00 OH 2:30 OH 3:00 OH 3:30 4:00 4:30 SCHEDULE: SPRING 2001 MONDAY TUESDAY WEDNESDAY THURSDAY FRIDAY 9:00 CS33b CS98a4 CS33b 9:30 CS33b CS98a3 CS33b 10:00 TYP Math CS33b TYP Math TYP Math CS33b 10:30 TYP Math OH TYP Math TYP Math 11:00 OH 11:30 OH CS99d 12:00 12:30 1:00 CS98a1 1:30 CS98a2 2:00 CS400 2:30 OH 3:00 OH 3:30 OH 4:00 4:30

    New Pedagogical Materials

  2. Please describe your involvement in the direction of reading courses, theses, dissertations, and other student research projects (undergraduate and graduate).

III. PUBLICATIONS, RESEARCH, AND ARTISTIC CREATIONS

  1. List publications that have appeared from March, 2000 to the March, 2001. In the creative arts, please list and describe artistic creations, performances or exhibitions.

    1. "Constraint-Based Termination Analysis for Cyclic Rule Activation in Active Databases" (.ps.gz 96K)
      by Saumya Debray and Timothy Hickey,
      in Proc. DOOD'2000: 6th. International Conference on Rules and Objects in Databases, pp. 1121-1136. Springer LNAI vol. 1861., July 2000. Deductive and Object-Oriented Database Conference, London, UK, July 2000.

    2. "Silk: A Playful Combination of Scheme and Java" (.ps.gz 68K)
      by Ken Anderson, Timothy J. Hickey, and Peter Norvig
      Proceedings of the Workshop on Scheme and Function Programming
      Rice University, CS Dept. Technical Report 00-368, September 2000.

  2. List manuscript(s) submitted or accepted for publication, specifying journal or publisher and anticipated publication date. For artistic work, please provide information about forthcoming exhibitions or performances.

    1. T. Hickey, "Metalevel Interval Arithmetic and Verifiable Constraint Solving", (.ps.gz, 112K),
      a revision of the paper published in the PADL'00 workshop,
      conditionally accepted for publication in the Journal of Functional and Logic Programming for a special issue on PADL'00 to appear in 2001.

    2. T. Hickey, Q. Ju, M.H. van Emden, "Interval Arithmetic: from Principles to Implementation", (.ps.gz, 112K),
      Brandeis CS Tech. Report CS-99-202, 18 pp., July, 1999,
      conditionally accepted for publication in the Journal of the ACM

  3. For ongoing work, please describe progress made since the last activities report (e.g. chapters completed). Be as specific as possible.

    1. Journal version of conference paper with Debray in early stages
    2. Paper with van Emden on Interval Arithmetic Fundamentals in rough draft form

IV. SERVICE

Please detail your participation in Departmental and University activities:
  1. Departmental: Service on committees, administrative tasks, etc.
    1. Helped develop Cosi33b: Internet and Society course
    2. Chair of the Internet Studies Program
    3. Undergraduate Advising Head for Computer Science
    4. General Science Program Committee Member
  2. University: Involvement in student activities, panel presentations, fund-raising, etc.
    1. Highly Productive Committees
      1. Internet Studies Program Committee
        • Member of committee that designed and proposed the program
        • Chair of the program until its first review in 2004
        • Gave several interviews to news outlets (Boston Globe, Associated Press,...)
        • Designed, built, and currently maintain Internet Studies Webpages
      2. Faculty Wien Oversight Committee
      3. Committees with little or no activity
        • Faculty Communication Committee (lead development of the Faculty Website)
        • CS Department Liason to the Pscyhological Counseling Center
        • Faculty Committee on Student Affairs (never met, charge unclear)

V. GRANTS

    Please list grant applications, renewals, and awards from March, 2000 to the present. Include granting agency, title of project, period of grant, and total amount.

  1. Grant Applications
    1. None.

  2. Grant Awards
    1. NSF, proposal #0082393,
      $448,526 over 3 years
      • FY2000 $134,326
      • FY2001 $157,052
      • FY2002 $157,148

      ITR/Groupware-Mediated Cooperative Programming: Teaching Web ..., submitted 02/15/00,
      awarded 09/12/00 effective 09/15/00
      PIs: Timothy Hickey, Richard Alterman,
      NSF Division: DIVISION OF EXPERIMENTAL & INTEG ACTIVIT
      Program Name: INFORMATION TECHNOLOGY RESEARCH
      Program Officer: Michael J. Foster
      Telephone: (703) 306-1980
      E-Mail: mfoster@nsf.gov

    2. internal Brandeis grant of $4500 to support Cosi33b class and Internet Studies Program as part of the "Strengthening Interdepartmental Cooperation" University wide grant from Hewlett Foundation

VI. AWARDS AND HONORS

  1. Please list awards and honors received since March, 2000.
      NONE.

VII. INTELLECTUAL PROPERTY

  1. List any inventions, patent applications, patents, copyright, software, maskworks, and any other intellectual property that is or may be patentable which you have conceived or reduced to practice, individually or jointly with others, during the course of your appointment, employment, or participation in Brandeis activities.

    1. ???

VIII. PROFESSIONAL ACTIVITIES OUTSIDE THE UNIVERSITY

  1. List and/or describe lectures given, involvement in professional societies, legislative testimony, etc. If none, indicate non-applicable.

IX. WORK OUTSIDE THE UNIVERSITY

  1. List courses taught at other institutions for which you received payment (March, 2000 to present). Please provide name of institution, term, course(s) taught, days and hours per week. If none, indicate non-applicable.

    NONE

  2. List any and all other employment, and/or consultant arrangements, that you have outside of Brandeis (March, 2000 to present). Please provide name of company, corporation or institution. Please append summaries of relevant parts of contracts, letters of appointment or consulting agreements. Do any of these arrangements provide present or future equity interest possibilities to you and do you receive any research support from any of these organizations? If none, indicate non-applicable.

    NONE

  3. List management or fiduciary activities in which you have a role as an officer, director, trustee, supervisor, or founder with respect to any organization or group. If none, indicate non-applicable.

    NONE

  4. List any inventions, patent applications, patents, copyright, software, maskworks, and any other intellectual property which you have conceived or reduced to practice, individually or jointly with others, which has been developed outside of Brandeis University and which has been developed during the course of your appointment, employment, or participation in Brandeis activities.

    NONE

X. GOALS -- OPTIONAL

  1. Please reflect upon what you hope to achieve in the coming year in terms of your ongoing work, new project you hope to begin, your teaching, professional development, and/or your role in the Brandeis community.

    1. Research
      • Scheme
        • Release another version of Silk Scheme which is suitable for wide-spread distribution and use as an internet programming language
        • Develop extensive examples of the use of Scheme for applets, applications, servlets, web services, 3D graphics, database front ends, etc.
        • Write up the Silk Scheme Reference Manual
        • Start writing several monograph on Silk Scheme during sabbatical in Spr 02
          • Web Programming in Scheme and Java (for experts)
          • Declarative Web Programming (for novices)
      • Interval Arithmetic
        • Several papers on the implementation need to be completed
        • Investigate methods for solving optimization problems using metalevel techniques
    2. Teaching
      • Revise CS2a so that it covers more servlet programming and have students download and run a scheme web server on their machines. Also include a groupware toolkit which encourages students to help each other learn the material.
      • Help prepare for CS33b in the Spring (line up speakers, plan syllabus)
    3. Service

    Please feel free to provide any other information relevant to your 2000-01 activities and contributions to the University.

    NONE


This file is available on line at http://www.cs.brandeis.edu/~tim/Activity/00-01.html