Education
PhD, Mathematical Logic, University of Maryland, College Park, 2008.
BS, Computer Science, Mathematics & Philosophy, Beloit College, 2000.
Bio
Professor Johnson came to John Jay after completing his PhD in Mathematical Logic at the University of Maryland, College Park, in 2008.
His research interests are in combinatorial model theory, in particular the study of VC density and dp-rank. The significance of this work is that it attempts to improve the understanding of the extent to which the algebraic description of a mathematical object controls its complexity. He is also interested in related applications to machine learning theory, and is performing student assisted research on the automatic annotation of human movement, using the Microsoft Kinect.
Professor Johnson also enjoys both consuming and producing popular mathematics writing, and regularly contributes to the CUNY Math Blog.
Course Taught
MAT 241/242/243, Calculus
CSCI 360, Cryptography
CSCI 380, Machine Learning
MAT 455, Data Analysis Capstone
Scholarly Work
Johnson, Hunter R., Trinidad, D. D., Guzman, S., Khan, Z., Parziale, J. V., DeBruyn, J. M., & Lents, N. H.. "A machine learning approach for using the postmortem skin microbiome to estimate the postmortem interval." PloS one 11.12 (2016): e0167370.
Johnson, Hunter, et al. "A Survey of Level II Friction Ridge Detail in Palm Prints." Forensic Science Journal 14.1 (2015): 39-46.
Johnson, Hunter. "Vapnik–Chervonenkis density on indiscernible sequences, stability, and the maximum property." Notre Dame Journal of Formal Logic 56.4 (2015): 583-593.
Johnson, Hunter R. "Some new maximum VC classes." Information Processing Letters 114.6 (2014): 294-298.
Johnson, Hunter. “Dp-rank and forbidden configurations.” Notre Dame Journal of Formal Logic , 54.1 (2013): 1-13.
Johnson, Hunter R., and Michael C. Laskowski. "Compression schemes, stable definable families, and o-minimal structures." Discrete & Computational Geometry 43.4 (2010): 914-926.
Research Summary
My research interests are in stability theory, a sub-branch of mathematical logic. With students I have done some investigation of natural language processing and gesture recognition, as well as bioinformatics.