James Hager
Teaching Professor and Assistant Director for Undergraduate Education
James
Hager
Teaching Professor and Assistant Director for Undergraduate Education
Department Affiliations
Interests
Computational Complexity
Natural Language Processing
Automatic Theorem Proving and Program Synthesis
Formal Methods
Address
Email
Phone
Website
Education: Ph.D., Stanford University