<p>My name is John (Jack) McKeown.  I am currently a computer science Ph.D. student at the University of Miami. I am interested in Machine Learning theory and my current research involves applications of Machine Learning to Automated Theorem Proving.</p>

JacKeown