Vita

TIMOTHY J. HICKEY


Michtom School of Computer Science
Volen Center for Complex Systems, Mailstop 18
Brandeis University, Waltham, MA, 02254
Phone: (781)-736-2706, Fax: (781)-736-2741
tjhickey@brandeis.edu, http://www.cs.brandeis.edu/~tim

April 2023

Education

Employment Experience

Journal Publications

  1. Impact of reflection in auto-graders: an empirical study of novice coders. Fatima Abu Deeb & Timothy Hickey Computer Science Education, (2023) DOI: 10.1080/08993408.2023.2262877
  2. Xiaodong Qu, Saran Liukasemsarn, Jingxuan Tu, Amy Higgins, Timothy Hickey, Mei-Hua Hall. Identifying Clinically And Functionally Distinct Groups Among Healthy Controls And First Episode Psychosis Patients By Clustering On EEG Patterns. Frontiers in Psychiatry vol 11, pages 938, 2020, DOI 10.3389/fpsyt.2020.541659
  3. Yile Sun, Barbara Shinn-Cunningham, Timothy Hickey, Robert Sekuler. Catching audiovisual interactions with a first-person fisherman video game, in Perception.
  4. William T. Tarimo, Fatima Abu Deeb, Timothy J. Hickey, Early Detection of At-Risk Students in CS1 Using Teachback/Spinoza, in The Journal of Computing in Small Colleges, 2016.
  5. 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.
  6. Policing Fish at Boston's Museum of Science: Studying Audiovisual Interaction in the Wild
    by Hannah Goldberg, Yile Sun, Timothy J. Hickey, Barbara Shinn-Cunningham, and Robert Sekuler.
    i-Perceptions, 2015, 6(3) 1-11. DOI: 10.1177/2041669515599332
  7. Timothy Hickey, William Tarimo, The Affective Tutor, the Journal of Computing Sciences in Colleges, 29(6), pp. 50-56, 2014.
  8. Timothy Hickey, Physics-based 3D Game Design as a First Course in Computing the Journal of Computing Sciences in Colleges, pp. 35-41, vol 28 no 6, 2013.
  9. Adam Taylor, Timothy Hickey, Astrid Prinz, and Eve Marder, "Structure and visualization of high-dimensional conductance spaces," Journal of Neurophysiology 96: 891-905, 2006.
  10. "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 157-167, 2005.
  11. Timothy Hickey, "Computer literacy via Scheme and web programmming", the Journal of Functional Programming, vol 14(4), 14:475-488 Cambridge University Press, Sep. 2004.
  12. 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. 140-153, May 2004.
  13. Timothy Hickey, Qun Ju, Maarten H. van Emden, "Interval Arithmetic: from Principles to Implementation", Journal of the ACM, volume 48, issue 5, pp. 1038-1068, September 2001.
  14. Timothy Hickey, "Metalevel Interval Arithmetic and Verifiable Constraint Solving", Journal of Functional and Logic Programing, vol 2001, no. 7, Oct. 2001, 25 pp.
  15. 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.
  16. Timothy Hickey, Jaques Cohen, Veronique Deschamps, "Meta-Level Interpretation of Constraint Languages; A Case Study: Logical Primitives," New Generation Computing, 10(4), 1992.
  17. 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.
  18. Timothy Hickey, Shyam Mudambi, "Global Compilation of Prolog," Journal of Logic Programming, 7(3), pp. 193-230, Dec. 1989.
  19. Timothy Hickey, Jacques Cohen, "Automating Program Analysis," Journal of the ACM, 35(1), pp. 185-220, Jan. 1988.
  20. Jacques Cohen, Timothy Hickey, "Parsing and Compiling Using Prolog," ACM Transactions on Programming Languages and Systems, 125-163, 1987
  21. Timothy Hickey, Jacques Cohen, "Performance Analysis of On-the-fly Garbage Collection," Communications of the ACM 27(11), 1143-1154, 1984.
  22. Timothy Hickey, Jacques Cohen, "Uniform Random Generation of Strings in a Context-free Language," SIAM Journal of Computing 12(4), 645-655, 1983.
  23. Jacques Cohen, Timothy Hickey, Joel Katcoff, "Upper Bounds for Speed-Up in Parallel Parsing," Journal of the ACM 29(2), 408-428, 1982.
  24. Jacques Cohen, Timothy Hickey, "Two Algorithms for Determining the Volume of Convex Polyhedra," Journal of the ACM 26(3), 401-414, 1979.

Refereed Conference Publications

  1. Ella Tuson and Tim Hickey, Mastery Learning with Specs Grading for Programming Courses Proceedings of the 54th ACM Technical Symposium on Computer Science Education Vol 1. March 2023 Pages 1049–1054 SIGCSE 2023 https://doi.org/10.1145/3545945.3569853
  2. Ella Tuson, Tim Hickey. Mastery Learning and Specs Grading in Discrete Math. Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1 (ITiCSE '22). Association for Computing Machinery, New York, NY, USA, 19–25. https://doi.org/10.1145/3502718.3524766
  3. Qu, Xiaodong, and Timothy J. Hickey. EEG4Home: A Human-In-The-Loop Machine Learning Model for EEG-Based BCI. In International Conference on Human-Computer Interaction, pp. 162-172. Springer, Cham, 2022.
  4. Fatima Abu Deeb, Timothy J Hickey. Reflective Debugging in Spinoza V3.0 Australasian Computing Education Conference (ACE21), 125-130, Mar 2021.
  5. Xiaodong Qu, Qingtian Mei, Peiyan Liu, Timothy Hickey. Using EEG to Distinguish between Writing and Typing for the same Cognitive Task Brain-Function Assessmentin Learning (BFAL2020) Heraklion, Crete, Oct 2020
  6. Xiaodong Qu, Peiyan Liu, Zhaonan Li, Timothy Hickey. Multi-Class Time Continuity Voting for EEG Classification. Brain-Function Assessmentin Learning (BFAL2020) Heraklion, Crete, Oct 2020
  7. Fatima Abu Deeb and Timothy Hickey, "Teaching Introductory Cryptography using a 3D Escape-the-Room Game" FIE 2019
  8. Kristian Kime, Timothy Hickey, and Rebecca Torrey. "Refining Skill Classification with Interactive Machine Learning" FIE 2019
  9. 21st Century Skill Building with Web-based Games, by William DeRusha and Timothy Hickey, CSEDU 2019
  10. Recursive Pedagogy: Automatic question generation using real-time learning analytics, by Fatima Abu Deeb, Timothy Hickey, CSEDU 2019
  11. EEG Markers of STEM Learning. by Xiaodong Qu, Venux Yixin Sun, Robert Sekuler, Timothy Hickey. Frontiers in Education. FIE 2018
  12. Fatima Abu Deeb and Timothy Hickey. Classroom Orchestration with Problem Solving Markov Models. Frontiers in Education FIE 2018
  13. Kristian Kime, Timothy Hickey, and Rebeccah Torrey. Machine Learning Based Directed Self Study in Calculus with CalcTutor. Frontiers in Education FIE 2018
  14. Xiaodong Qu, Mercedes Hall, Yile Sun, Robert Sekuler, Timothy Hickey. A Personalized Reading Coach using Wearable EEG Sensors: A pilot study of brainwave learning analytics Special Session on Analytics in Educational Environments (A2E 2018)
  15. Fatima Abu Deeb and Timothy Hickey. Using Fine Grained Programming Error Data to Enhance CS1 Pedagogy 10th International Conference on Computer Supported Education (CSEDU 2018)
  16. Kristian Kime, Timothy Hickey, and Rebecca Torrey. The Calculus Dashboard - leveraging intelligent tutor techniques to provide automated fine-grained student assessment. Frontiers in Education (FIE2017)
  17. Fatima Abe Deeb and Timothy Hickey. Flipping Introductory Programming Classes using Spinoza and Agile Pedagogy. Frontiers in Education (FIE2017)
  18. William T. Tarimo and Timothy J. Hickey. Groupwork: Learning During Collaborative Assessment Activities. CSCL2017.
  19. Fatima Abu Deeb, Kristian Kime, Rebecca Torrey, and Timothy Hickey. Measuring and Visualizing Learning with Markov Models. Frontiers in Education (FIE2016).
  20. William Tarimo and Timothy Hickey. Fully Integrating Remote Students into a Traditional Classroom using Live-Streaming and TeachBack. Frontiers in Education (FIE2016).
  21. 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
  22. Kristian Kime, Rebecca Torrey, and Timothy Hickey. CalcTutor: Applying the Teachers Dilemma Methodology to Calculus Pedagogy in Frontiers in Education (FIE'15), 2015.
  23. Timothy Hickey, Fatima Abu Deeb, and William Tarimo. Computers in the CS1 Classroom. the 7th International Conference on Computer Supported Education (CSEDU 2015)
  24. Fatima Abu Deeb and Timothy J. Hickey. Spinoza: the Code Tutor. Proceedings of CIST'15, May 11-12, 2015, Ottawa CA, pp. 132-1 to 132-8, 2015.
  25. 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 549-554.
  26. Kenroy Granville and Timothy Hickey, CollabEd: a Platform for Collaboratizing Existing Editors Proceedings of the International Conference on Mobile, Hybrid, and On-line Learning 2009, Best Paper Award.
  27. 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 64950H-1 to 64950H-12, SPIE and IS\&T, 2007.
  28. 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 617-626. Springer, 2006.
  29. 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. 77-91.
  30. 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
  31. 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
  32. Svetlena Taneva, Richard Alterman, and Timothy Hickey, "Collaborative Learning: Collaborative Depth." CogSci2005, pp. 2156-2161, 2005.
  33. Timothy Hickey, David Wittenberg, "Using Analytic CLP to Model and Analyze Hybrid Systems" Proceedings of FLAIRS2004, eds. Valerie Barr and Zdravko Markov, pp. 269-274, 2004.
  34. Timothy Hickey, David Wittenberg, "Rigorous Modeling of Hybrid Systems using Interval Arithmetic Constraints" Hybrid Systems: Computation and Control, pp. 402-416, 2004
  35. Timothy Hickey, "Scheme-based Web Programming as a Basis for a CS0 Curriculum", SIGCSE 2004, pp. 353-357, 2004.
  36. Saumya Debray and Timothy 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.
  37. Timothy Hickey, "Analytic Constraint Solving and Interval Arithmetic", Proceedings of POPL'00, pp. 338-351, Jan. 2000.
  38. Timothy Hickey, "Metalevel Constraint Solving in CLIP", PADL'00, Springer-Verlag LNCS, vol 1753, pp. 200-214, Jan. 2000.
  39. Ken Anderson, Timothy Hickey, "Reflecting Java into Scheme," Springer-Verlag LNCS, vol. 1616, 1999.
  40. 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 Jean-Francois Puget (eds.), Springer-Verlag, Lecture Notes in Computer Science, v. 1520, pp. 250-264, 1998.
  41. Don Smith, Timothy Hickey, "Multi-SLD Resolution," Proceedings of LPAR'94, F. Pfenning (Ed.), Lecture Notes in Computer Science, Vol. 822, Springer-Verlag, pp. 260-274, 1994.
  42. 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. 273--284. Taiwan, 1992.
  43. 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. 344-355, IOS Press, March 1992.
  44. Timothy Hickey, Don 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.
  45. 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. 119-138, 1990.
  46. Timothy 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 and Magazine Articles

  1. Jessica Leibovitz and Tim Hickey. Student Talent Helps Brandeis Put Data to Work Trusteeship Magazine, Volume 31, Number 4, July/August 2023
  2. 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 231-255.
  3. Timothy Hickey, and Alex Feinman, Groupware an article in the Encyclopedia of Human Computer Interaction, Berkshire Press, 2004.
  4. Timothy Hickey, "Functional Constraints in CLP Languages," in "Constraint Logic Programming", (eds. A. Colmerauer, F. Benhamou), MIT Press, pp 355-381, 1993.
  5. Jaques Cohen, Timothy Hickey, "New Directions in Program Microanalysis," Invited paper in "Computers and Computing" (ed. Chenin, et. al.) John Wiley and Sons, 193-202, 1986.

Dissertation

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

Refereed Workshops

  1. Timothy J. Hickey and William T. Tarimo. Adopting a "Flipped" Interactive Pedagogy Using Teachback. in CCSCNE'15
  2. Timothy Hickey, "Incorporating Scheme-based Web Programmming into Computer Literacy Courses," Proceedings of the Scheme2002 workshop, Pittsburgh, PA, 10/5/2002.
  3. 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 00-368, Sept 2000.
  4. 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.
  5. 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 ECRC-94-38 pp. 69-79, Nov. 1994.
  6. 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, Demos and Poster Abstracts

  1. Fatima Abu Deeb, Timothy J Hickey. Reflective Debugging with a Python Web IDE. Lightning talk in Proceedings of the 52nd ACM Technical Symposium on Computer Science, Mar 2021.
  2. Teaching and assessing debugging, testing, and coding style with Recursive Pedagogy using Spinoza, by Fatima Abu Deeb, Timothy Hickey, Poster in SIGCSE-2019
  3. Fatima Abu Deeb and Timothy Hickey. Demo: Spinoza -- In-class Python Problem Solving With Classroom Orchestration SIGCSE 2018
  4. Fatima Abu Deeb and Timothy J. Hickey. Demo: The Spinoza Code Tutor. in CCSCNE'15
  5. A. Kumar, K. Hufford, T. Hickey, L. Wilkens, A. Mahadev, A. Beiderman, Panel: "Internet Computing in the Computer Science Curriculum" Proceedings of SIGCSE 2002, pp. 50-51, March 2002, (panel positions).
  6. A. Kumar, K. Hufford, J. Bergin, L. Wilkens, T. Hickey, Panel: "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).
  7. A. Kumar, K. Hufford, J. Bergin, T. Hickey, Panel: "Internet-Centric Curriculum", The Journal of Computing in Small Colleges, vol. 16, no 4, pp. 45-49, May 2001, (panel positions).
  8. T. Hickey, D. Wittenberg, Poster: 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

  1. 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.
  2. T. Hickey, Q. Ju, "Efficient Implementation of Interval Arithmetic Narrowing Using IEEE Arithmetic," unnumbered Tech Report, Mar. 1997.
  3. 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