Skip to Main Content

UMass Lowell will resume on-campus instruction, research and campus life for Fall 2020. View the plan for more info.

John (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).