Vita
TIMOTHY J. HICKEY
Michtom School of Computer Science
Volen Center for Complex Systems, Mailstop 18
Brandeis University,
Waltham, MA, 02254
Phone: (781)7362706,
Fax: (781)7362741
tjhickey@brandeis.edu,
http://www.cs.brandeis.edu/~tim
July 2017
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 of Computer Science

2007** Brandeis University, Film, Television, and Interactive Media (FTIM) Program Faculty

1992** Brandeis University, Instructor/Advisor in the Transitional Year Program (TYP)

20102012 Brandeis University, Chair of the Faculty Senate

20022010 Brandeis University, Chair of Computer Science

20092010 Brandeis University, Chair of the Science Council

20012010 Brandeis University, Chair of Internet Studies (INET) Program

199202 Brandeis University, Associate Professor of Computer Science

198692 Brandeis University, Assistant Professor of Computer Science

198486 Brandeis University, Instructor of Computer Science
Journal Publications

Catching audiovisual interactions with a firstperson fisherman video game,
by Yile Sun, Barbara ShinnCunningham, Timothy Hickey, Robert Sekuler
to appear in Perception.

William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey,
Early Detection of AtRisk Students in CS1 Using Teachback/Spinoza,
in The Journal of Computing in Small Colleges, 2016.

Timothy J. Hickey and Jason K. Pontrello,
Building Bridges Between Science Courses Using Honors Organic Chemistry Projects,
The Journal of College Science Teaching,
Vol 46, n.1, Sep, 2016.

Policing Fish at Boston's Museum of Science: Studying Audiovisual Interaction in the Wild
by Hannah Goldberg, Yile Sun, Timothy J. Hickey, Barbara ShinnCunningham, and Robert Sekuler.
iPerceptions, 2015, 6(3) 111.
DOI: 10.1177/2041669515599332

Timothy Hickey, William Tarimo,
The Affective Tutor,
the Journal of Computing Sciences in Colleges, 29(6), pp. 5056, 2014.

Timothy Hickey,
Physicsbased 3D Game Design as a First Course in Computing
the Journal of Computing Sciences in Colleges, pp. 3541, vol 28 no 6, 2013.

Adam Taylor, Timothy Hickey, Astrid Prinz, and Eve Marder,
"Structure and visualization of highdimensional conductance spaces,"
Journal of Neurophysiology 96: 891905, 2006.

"Timothy Hickey, John Langton, Kenroy Granville, and Richard Alterman,
Enhancing CS Programming Lab Courses using Collaborative Editors,"
The Journal of Computing Sciences in Colleges, vol 20(3), pp 157167, 2005.

Timothy Hickey,
"Computer literacy via Scheme and web programmming",
the Journal of Functional Programming, vol 14(4),
14:475488 Cambridge University Press, Sep. 2004.

John Langton, Timothy Hickey, and Richard 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. 140153, May 2004.

Timothy Hickey, Qun Ju, Maarten H. van Emden,
"Interval Arithmetic: from Principles to Implementation",
Journal of the ACM,
volume 48, issue 5,
pp. 10381068, September 2001.

Timothy Hickey,
"Metalevel Interval Arithmetic and Verifiable Constraint Solving",
Journal of Functional and Logic Programing, vol 2001, no. 7,
Oct. 2001, 25 pp.

Timothy Hickey, Z. Qiu, and Maarten H. van Emden,
"Interval Constraint Plotting for Interactive Visual Exploration
of Implicitly Defined Relations"
Reliable Computing, Vol. 6, No. 1, 2000.

Timothy Hickey, Jaques Cohen, Veronique Deschamps,
"MetaLevel Interpretation of Constraint Languages; A Case Study:
Logical Primitives,"
New Generation Computing, 10(4), 1992.

Timothy Hickey, Jacques Cohen, Hirofumi Hotta, Thierry Petitjean, "Computer Assisted
Microanalysis of Parallel Programs,"
ACM Transactions on Programming Languages and Systems, 13(4), Oct. 1991.

Timothy Hickey, Shyam Mudambi, "Global Compilation of Prolog,"
Journal of Logic Programming, 7(3), pp. 193230, Dec. 1989.

Timothy Hickey, Jacques Cohen, "Automating Program Analysis,"
Journal of the ACM, 35(1), pp. 185220, Jan. 1988.

Jacques Cohen, Timothy Hickey,
"Parsing and Compiling Using Prolog,"
ACM Transactions on Programming Languages and Systems,
125163, 1987

Timothy Hickey, Jacques Cohen,
"Performance Analysis of Onthefly Garbage Collection,"
Communications of the ACM 27(11), 11431154, 1984.

Timothy Hickey, Jacques Cohen,
"Uniform Random Generation of Strings in a Contextfree Language,"
SIAM Journal of Computing 12(4), 645655, 1983.

Jacques Cohen, Timothy Hickey, Joel Katcoff,
"Upper Bounds for SpeedUp in Parallel Parsing,"
Journal of the ACM 29(2), 408428, 1982.

Jacques Cohen, Timothy Hickey,
"Two Algorithms for Determining the Volume of Convex Polyhedra,"
Journal of the ACM 26(3), 401414, 1979.
Refereed Conference Publications

The Calculus Dashboard  leveraging intelligent tutor techniques to provide automated finegrained student assessment
by Kristian Kime, Timothy Hickey, and Rebecca Torrey
to appear in Frontiers in Education (FIE2017)

Flipping Introductory Programming Classes using Spinoza and Agile Pedagogy
by Fatima Abe Deeb and Timothy Hickey
to appear in Frontiers in Education (FIE2017)

Groupwork: Learning During Collaborative Assessment Activities
by William T. Tarimo and Timothy J. Hickey.
to appear in (CSCL2017).

Measuring and Visualizing Learning with Markov Models
by Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, and Timothy Hickey
Frontiers in Education (FIE2016).

Fully Integrating Remote Students into a Traditional Classroom using LiveStreaming and TeachBack
by William Tarimo and Timothy Hickey
Frontiers in Education (FIE2016).

William T Tarimo, Fatima Abu Deeb, and Timothy J. Hickey,
A Flipped Classroom With and Without Computers
to appear in Computer Supported Education,
CCIS vol 583,
Springer International Publishing Switzerland,
2016

Kristian Kime, Rebecca Torrey, and Timothy Hickey.
CalcTutor: Applying the Teachers Dilemma Methodology to Calculus Pedagogy
in Frontiers in Education (FIE'15), 2015.

Timothy Hickey, Fatima Abu Deeb, and William Tarimo.
Computers in the CS1 Classroom.
in CSEDU'15

Fatima Abu Deeb and Timothy J. Hickey.
Spinoza: the Code Tutor.
Proceedings of CIST'15, May 1112, 2015, Ottawa CA, pp. 1321 to 1328, 2015.

Timothy Hickey and Pito Salas, "The Entrepreneur’s Bootcamp:
A New Model For Teaching Web/Mobile Development and Software Entrepreneurship",
The 44th ACM Technical Symposium on Computer Science Education,
SIGCSE’13, March 6–9, 2013, Denver, Colorado, USA, 2013, pp 549554.
 Kenroy Granville and Timothy Hickey,
CollabEd: a Platform for Collaboratizing Existing Editors
Proceedings of the International Conference on Mobile, Hybrid, and Online Learning 2009
, Best Paper Award.

John T. Langton, Astrid Prinz, and Timothy 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 64950H1 to 64950H12, SPIE and IS\&T, 2007.

John T. Langton, Astrid Prinz, and Timothy 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 617626. Springer, 2006.

John T. Langton, Astrid Prinz, David K. Wittenberg, and Timothy 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. 7791.
 David Wittenberg, Timothy 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. 1416, 2005. ISBN:1595932577

Svetlena Taneva, Richard Alterman, and Timothy Hickey,
"Collaborative Learning: Collaborative Depth."
CogSci2005, pp. 21562161, 2005.
 Timothy Hickey, David Wittenberg,
"Using Analytic CLP to Model and Analyze Hybrid Systems"
Proceedings of FLAIRS2004, eds. Valerie Barr and Zdravko Markov, pp. 269274, 2004.
 Timothy Hickey, David Wittenberg,
"Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints"
Hybrid Systems: Computation and Control, pp. 402416,
2004

Timothy Hickey,
"Schemebased Web Programming as a Basis for a CS0 Curriculum",
SIGCSE 2004, pp. 353357, 2004.

Saumya Debray and Timothy Hickey,
"ConstraintBased Termination Analysis
for Cyclic Rule Activation in Active Databases,"
Proc. DOOD'2000: 6th. International Conference on Rules and Objects in Databases, July 2000, pp. 11211136. Springer LNAI vol. 1861.

Timothy Hickey,
"Analytic Constraint Solving and Interval Arithmetic",
Proceedings of POPL'00, pp. 338351, Jan. 2000.
 Timothy Hickey,
"Metalevel Constraint Solving in CLIP",
PADL'00, SpringerVerlag LNCS, vol 1753, pp. 200214, Jan. 2000.
 Ken Anderson, Timothy Hickey,
"Reflecting Java into Scheme,"
SpringerVerlag LNCS, vol. 1616, 1999.
 Timothy Hickey, Maarten 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 JeanFrancois Puget (eds.), SpringerVerlag,
Lecture Notes in Computer Science, v. 1520, pp. 250264, 1998.

Don Smith, Timothy Hickey, "MultiSLD Resolution,"
Proceedings of LPAR'94, F. Pfenning (Ed.),
Lecture Notes in Computer Science, Vol. 822, SpringerVerlag,
pp. 260274, 1994.

Z. George Mou, C. Constantinescu, and Timothy Hickey.
Optimal mapping of divideand conquer algorithms to mesh connected parallel architectures.
In Proceedings International Computer Symposium,
pp. 273284. Taiwan, 1992.

Z. George Mou, C. Constantinescu, Timothy 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. 344355,
IOS Press, March 1992.

Timothy Hickey, Don Smith, "Toward the Partial Evaluation of
Constraint Logic Programs,"
Proceedings of the Symposium on
Partial Evaluation and SemanticsBased Program Manipulation,
Yale University, New Haven, CT,
pp. 4351, ACM Press,
Jun. 1719, 1991.

Don Smith, Timothy Hickey,
"Partial Evaluation of a CLP language,"
Proceedings of the 1990 North American Conference in Logic Programming,
ed. S. Debray, M. Hermenegildo, pp. 119138, 1990.

Timothy Hickey, "CLP* and Constraint Abstraction,"
16th Annual ACM Symposium on Principles of Programming
Languages,
Austin, TX,
pp. 125133, ACM Press,
Jan. 1113, 1989.
Book Chapters
 John Langton, Elizabeth Gifford, and Timothy Hickey.
Visualization and Interactive Exploration of High Dimensional Datasets,
in "Applications of Computational Intelligence in Biology:
Current Trends and Open Problems,",
Smolinski, Milanova, Hassanien (eds), Springer, 2008, pp 231255.
 Timothy Hickey, and Alex Feinman, Groupware an article in the
Encyclopedia of Human Computer Interaction, Berkshire Press, 2004.

Timothy Hickey, "Functional Constraints in CLP Languages,"
in
"Constraint Logic Programming",
(eds. A. Colmerauer, F. Benhamou),
MIT Press, pp 355381, 1993.

Jaques Cohen, Timothy Hickey,
"New Directions in Program Microanalysis,"
Invited paper in
"Computers and Computing"
(ed. Chenin, et. al.)
John Wiley and Sons,
193202, 1986.
Dissertation

Timothy Hickey,
"On the FourierJacobi coefficients of certain Eisenstein series for a
unitary group,"
Doctoral Dissertation, University of Chicago, 1986.
Refereed Workshops

Timothy J. Hickey and William T. Tarimo.
Adopting a "Flipped" Interactive Pedagogy Using Teachback.
in CCSCNE'15

Timothy Hickey,
"Incorporating Schemebased Web Programmming into Computer Literacy Courses,"
Proceedings of the Scheme2002 workshop, Pittsburgh, PA, 10/5/2002.

Ken Anderson, Timothy Hickey, and Peter Norvig,
"Silk: A Playful Combination of Scheme and Java",
Proceedings of the
Workshop on Scheme and Functional Programming
Rice University, CS Dept. Tech. Report 00368, Sept 2000.
 Timothy Hickey, Peter Norvig, Ken 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.

Timothy 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 ECRC9438 pp. 6979, Nov. 1994.

Andrew Huang, Z. George Mou, Timothy 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, Tutorials, and Poster Abstracts

Fatima Abu Deeb and Timothy J. Hickey.
The Spinoza Code Tutor.
in CCSCNE'15

A. Kumar, K. Hufford,
T. Hickey, L. Wilkens, A. Mahadev, A. Beiderman,
"Internet Computing in the Computer Science Curriculum"
Proceedings of SIGCSE 2002,
pp. 5051, 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. 3943, Feb. 2002,
(panel positions).
 A. Kumar, K. Hufford, J. Bergin, T. Hickey, "InternetCentric Curriculum",
The Journal of Computing in Small Colleges, vol. 16, no 4, pp. 4549, 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 1114, 1999,
Proceedings. Lecture Notes in Computer Science, Vol. 1713, Springer, 1999,
ISBN 3540666265 , pp. 482483, (poster paper).
Unpublished Technical Reports

T. Hickey, D. Wittenberg,
"Validated Constraint Constraction",
Brandeis CS Technical Report CS99201, 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.
This vita is available online at http://www.cs.brandeis.edu/~tim/Activities/cv.html