Stack Overflow
Stack Overflow

JacKeown
2,780
reputation
7
26
34
  • Miami, FL, USA
  • Member since February 02 2011
  • 334 profile views
  • Last seen Sep 02 '23 at 17:19

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.