Skip to Main Content

Departments providing services remotely. Building access limited. Check 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).