Skip to Main Content

UMass Lowell scales back Fall 2020 plan to minimize students, employees on campus. View the plan for more info.

Jay McCarthy

John (Jay) McCarthy is an Associate Professor of Computer Science at UMass Lowell.
John McCarthyAssociate Professor & Graduate Coordinator

Selected Publications

  • McCarthy, J., Fetscher, B., New, M., Feltey, D., Findler, R.B. (2016). A Coq Library For Internal Verification of Running-Times (pp. 144–162).
  • McCarthy, J. (2016). Bithoven: Gödel encoding of chamber music and functional 8-bit audio synthesis (pp. 1–7).
  • Hu, H.H., Heiner, C., McCarthy, J. (2016). Deploying Exploring Computer Science Statewide (pp. 72–77).