Eric P. Astor
Google (Senior Software Engineer)
Contact
Profiles
Curriculum vitae
Public résumé (last updated August 2019 - contact me for an up-to-date version): PDF
A brief summary
I currently work at Google on the open-source XLS project, bringing modern compilers & language design to hardware engineers designing their next chip - without taking away control. You can find our code on GitHub at https://github.com/google/xls.
Before that, I was on the Drive for desktop team, building easier ways for you to access your files.
I also do/did some research in mathematical logic, specializing in computability theory and reverse mathematics. I was previously a visiting faculty member of the Department of Mathematics at the University of Connecticut.
I received my Ph.D. in 2015 from the University of Chicago under Robert Soare and Denis Hirschfeldt.