Expertise
Programming Languages, Formal Verification and CS Education
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).