James Hager Academy Professor and Professor Emeritus Breadcrumb Department of Mathematics jah14 James Hager Academy Professor and Professor Emeritus Department Affiliations Department of Mathematics Interests Computational Complexity Natural Language Processing Automatic Theorem Proving and Program Synthesis Formal Methods Address 409 McAllister Building Email jah14@psu.edu Phone 814 441-4550 Website http://www.math.psu.edu/hager Education: Ph.D., Stanford University
