James Hager
Teaching Professor & Interim Associate Head of Undergraduate Studies
James
Hager
Teaching Professor & Interim Associate Head of Undergraduate Studies
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