Vita

Education

• Ph.D. University of Chicago (1986, Mathematics)
• MA, University of Chicago (1978, Mathematics)
• BA, Brandeis Univeristy (1977, Mathematics, summa cum laude)

Employment Experience

• 2002-** Brandeis University, Professor and Chair of Computer Science
• 2001-** Brandeis University, Chair of Internet Studies Program
• 2007-** Brandeis University, Film Studies Program Faculty
• 1992-** Brandeis University, Instructor in the Transitional Year Program
• 1992-02 Brandeis University, Associate Professor of Computer Science
• 1986-92 Brandeis University, Assistant Professor of Computer Science
• 1984-86 Brandeis University, Instructor of Computer Science

Journal Publications

• "A. Taylor, T. Hickey, A. Prinz, and E. Marder, "Structure and visualization of high-dimensional conductance spaces," Journal of Neurophysiology 96: 891-905, 2006.
• "T. Hickey, J. Langton, K. Granville, and R. Alterman, Enhancing CS Programming Lab Courses using Collaborative Editors," The Journal of Computing Sciences in Colleges, vol 20(3), pp 157-167, 2005.
• T. Hickey, "Computer literacy via Scheme and web programmming", the Journal of Functional Programming, vol 14(4), 14:475-488 Cambridge University Press, Sep. 2004.
• J. Langton, T. Hickey, and R. Alterman. "Integrating Tools and Resources: a case study in building educational groupware for collaborative programming," The Journal of Computing Sciences in Colleges, 19(5), pp. 140-153, May 2004.
• T. Hickey, Q. Ju, M.H. van Emden, "Interval Arithmetic: from Principles to Implementation", Journal of the ACM, volume 48, issue 5, pp. 1038-1068, September 2001.
• T. Hickey, "Metalevel Interval Arithmetic and Verifiable Constraint Solving", Journal of Functional and Logic Programing, vol 2001, no. 7, Oct. 2001, 25 pp.
• T. Hickey, Z. Qiu, and M.H. van Emden, "Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations" Reliable Computing, Vol. 6, No. 1, 2000.
• T. Hickey, J. Cohen, V. Deschamps, "Meta-Level Interpretation of Constraint Languages; A Case Study: Logical Primitives," New Generation Computing, 10(4), 1992.
• T. Hickey, J. Cohen, H. Hotta, T. Petitjean, "Computer Assisted Microanalysis of Parallel Programs," ACM Transactions on Programming Languages and Systems, 13(4), Oct. 1991.
• T. Hickey, S. Mudambi, "Global Compilation of Prolog," Journal of Logic Programming, 7(3), pp. 193-230, Dec. 1989.
• T. Hickey, J. Cohen, "Automating Program Analysis," Journal of the ACM, 35(1), pp. 185-220, Jan. 1988.
• J. Cohen, T. Hickey, "Parsing and Compiling Using Prolog," ACM Transactions on Programming Languages and Systems, 125-163, 1987
• T. Hickey, J. Cohen, "Performance Analysis of On-the-fly Garbage Collection," Communications of the ACM 27(11), 1143-1154, 1984.
• T. Hickey, J. Cohen, "Uniform Random Generation of Strings in a Context-free Language," SIAM Journal of Computing 12(4), 645-655, 1983.
• J. Cohen, T. Hickey, J. Katcoff, "Upper Bounds for Speed-Up in Parallel Parsing," Journal of the ACM 29(2), 408-428, 1982.
• J. Cohen, T. Hickey, "Two Algorithms for Determining the Volume of Convex Polyhedra," Journal of the ACM 26(3), 401-414, 1979.

Refereed Conference Publications

• J.T. Langton, A. Prinz, and T. Hickey, NeuroVis: combining dimensional stacking and pixelization to visually explore, analyze, and mine multidimensional multivariate data, Proceedings of SPIE; Visualization and Data Analysis 2007 (VDA 2007), Volume 6495, pages 64950H-1 to 64950H-12, SPIE and IS\&T, 2007.
• J.T. Langton, A. Prinz, and T.J. Hickey, Combining Pixelization and Dimensional Stacking. In Proceedings of the 2nd International Symposium on Visual Computing (ISVC 2006), Volume 4292 Part 2 of Lecture Notes in Computer Science, pages 617-626. Springer, 2006.
• J.T. Langton, A. Prinz, D.K. Wittenberg, and T.J. Hickey. Leveraging layout with dimensional stacking and pixelization to facilitate feature discovery and directed queries. in Pixelization Paradigm, Proceedings of the Visual Information Expert Workshop (VIEW 2006), Lecture Notes in Computer Science. Springer, Vol 4370/2007, pp. 77-91.
• D. Wittenberg, T. Hickey, "Modeling Hysteresis in CLIP - The Tank Flow Problem" Proceedings of the NSF Workshop on Reliable Engineering Computing.
  http://www.gtrep.gatech.edu/workshop/rec06/proceedings.html
• Kenroy G. Granville and Timothy Hickey, "The Design, Implementation, and Application of the GrewpEdit Tool" Proceedings of the 2005 conference on Diversity in computing, Albuquerque, New Mexico, USA, pp. 14-16, 2005. ISBN:1-59593-257-7
• Svetlena Taneva, Richard Alterman, and Timothy Hickey, "Collaborative Learning: Collaborative Depth." CogSci2005, pp. 2156-2161, 2005.
• T. Hickey, D. Wittenberg, "Using Analytic CLP to Model and Analyze Hybrid Systems" Proceedings of FLAIRS2004, eds. Valerie Barr and Zdravko Markov, pp. 269-274, 2004.
• T. Hickey, D. Wittenberg, "Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints" Hybrid Systems: Computation and Control, pp. 402-416, 2004
• T. Hickey, "Scheme-based Web Programming as a Basis for a CS0 Curriculum", SIGCSE 2004, pp. 353-357, 2004.
• S. Debray and T. Hickey, "Constraint-Based Termination Analysis for Cyclic Rule Activation in Active Databases," Proc. DOOD'2000: 6th. International Conference on Rules and Objects in Databases, July 2000, pp. 1121-1136. Springer LNAI vol. 1861.
• T. Hickey, "Analytic Constraint Solving and Interval Arithmetic", Proceedings of POPL'00, pp. 338-351, Jan. 2000.
• T. Hickey, "Metalevel Constraint Solving in CLIP", PADL'00, Springer-Verlag LNCS, vol 1753, pp. 200-214, Jan. 2000.
• K. Anderson, T. Hickey, "Reflecting Java into Scheme," Springer-Verlag LNCS, vol. 1616, 1999.
• T.J. Hickey, M.H. van Emden, H. Wu, "A Unified Framework for Interval Constraints and Interval Arithmetic", in Principles and Practice of Constraint Programming -- CP98 Michael Maher and Jean-Francois Puget (eds.), Springer-Verlag, Lecture Notes in Computer Science, v. 1520, pp. 250-264, 1998.
• D. Smith, T. Hickey, "Multi-SLD Resolution," Proceedings of LPAR'94, F. Pfenning (Ed.), Lecture Notes in Computer Science, Vol. 822, Springer-Verlag, pp. 260-274, 1994.
• Z. G. Mou, C. Constantinescu, and T. Hickey. Optimal mapping of divideand -conquer algorithms to mesh connected parallel architectures. In Proceedings International Computer Symposium, pp. 273--284. Taiwan, 1992.
• Z.G. Mou, C. Constantinescu, T. Hickey, "Divide and Conquer on a 3 Dimensional Mesh," in Proceedings of Parallel Computing: From Theory to Sound Practice by the European Workshop on Parallel Computing, Barcelona, Spain, pp. 344-355, IOS Press, March 1992.
• T. Hickey, D. Smith, "Toward the Partial Evaluation of Constraint Logic Programs," Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Yale University, New Haven, CT, pp. 43-51, ACM Press, Jun. 17-19, 1991.
• D. Smith, T. Hickey, "Partial Evaluation of a CLP language," Proceedings of the 1990 North American Conference in Logic Programming, ed. S. Debray, M. Hermenegildo, pp. 119-138, 1990.
• T. Hickey, "CLP* and Constraint Abstraction," 16th Annual ACM Symposium on Principles of Programming Languages, Austin, TX, pp. 125-133, ACM Press, Jan. 11-13, 1989.

Book Chapters

• T. Hickey and J. Langton, Visualization and Interactive Exploration of High Dimensional Datasets, accepted for publication in "Applications of Computational Intelligence in Biology: Current Trends and Open Problems," to appear in 2008.
• T. Hickey, and Alex Feinman, Groupware an article in the Encyclopedia of Human Computer Interaction, Berkshire Press, 2004.
• T. Hickey, "Functional Constraints in CLP Languages," in "Constraint Logic Programming", (eds. A. Colmerauer, F. Benhamou), MIT Press, pp 355-381, 1993.
• J. Cohen, T. Hickey, "New Directions in Program Microanalysis," Invited paper in "Computers and Computing" (ed. Chenin, et. al.) John Wiley and Sons, 193-202, 1986.

Dissertation

• T. Hickey, "On the Fourier--Jacobi coefficients of certain Eisenstein series for a unitary group," Doctoral Dissertation, University of Chicago, 1986.

Refereed Workshops

• T. Hickey, "Incorporating Scheme-based Web Programmming into Computer Literacy Courses," Proceedings of the Scheme2002 workshop, Pittsburgh, PA, 10/5/2002.
• K. Anderson, T. Hickey, and P. Norvig, "Silk: A Playful Combination of Scheme and Java", Proceedings of the Workshop on Scheme and Functional Programming Rice University, CS Dept. Tech. Report 00-368, Sept 2000.
• T. Hickey, P. Norvig, K. Anderson, "LISP - a Language for Internet Scripting and Programming", in LUGM'98: The 40th Anniversary of LISP: Lisp in the Mainstream, Nov. 1998, Berkeley, CA.
• T. Hickey, "CLP(F) and Constrained ODEs", 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, Nov. 1994.
• A. Huang, Z. G. Mou, T. Hickey, "Parallel Recurrence Transformation", Proceedings of the First Annual Summer Institute on "Issues and Obstacles in the Practical Implementation of Parallel Algorithms and the Use of Parallel Machines," Dartmouth, June 1992.

Refereed Panel Positions and Poster Abstracts

• A. Kumar, K. Hufford, T. Hickey, L. Wilkens, A. Mahadev, A. Beiderman, "Internet Computing in the Computer Science Curriculum" Proceedings of SIGCSE 2002, pp. 50-51, March 2002, (panel positions).
• A. Kumar, K. Hufford, J. Bergin, L. Wilkens, T. Hickey, "Internet Computing in the Computer Science Curriculum", The Journal of Computing in Small Colleges, vol. 17, no 3, pp. 39-43, Feb. 2002, (panel positions).
• A. Kumar, K. Hufford, J. Bergin, T. Hickey, "Internet-Centric Curriculum", The Journal of Computing in Small Colleges, vol. 16, no 4, pp. 45-49, May 2001, (panel positions).
• T. Hickey, D. Wittenberg, Validated Constraint Contraction, in Joxan Jaffar (Ed.): Principles and Practice of Constraint Programming - CP'99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings. Lecture Notes in Computer Science, Vol. 1713, Springer, 1999, ISBN 3-540-66626-5 , pp. 482-483, (poster paper).

Unpublished Technical Reports

• T. Hickey, D. Wittenberg, "Validated Constraint Constraction", Brandeis CS Technical Report CS-99-201, 17pp., 1999. Also, a 2 page summary appears in the Proceedings of CP'99.
• T. Hickey, Q. Ju, "Efficient Implementation of Interval Arithmetic Narrowing Using IEEE Arithmetic," unnumbered Tech Report, Mar. 1997.
• T. Hickey, Q. Ju. "Fast, Sound, and Precise Narrowing of the Exponential Function," unnumbered Tech. Report, Mar. 1996.