Jason Rute (Preferred)
Jason Rute
Postdoc, IBM Research
- Joined May 2021
Names
Emails
****@gmail.com (Confirmed)
, ****@ibm.com (Confirmed)
, ****@ibm.com (Confirmed)
Personal Links
Career & Education History
Postdoc
IBM Research (research.ibm.com)
2021 – Present
Data Scientist
CIBO Technologies (cibotechnologies.com)
2018 – 2021
Postdoc
Pennsylvania State University (psu.edu)
2013 – 2017
PhD student
Carnegie Mellon University (cmu.edu)
2008 – 2013
Advisors, Relations & Conflicts
Coauthor
Jesse Michael Han
2020 – 2021
Coauthor
Edward Ayers
2020 – 2021
Expertise
Theorem proving
2018 – Present
Machine learning for theorem proving
2018 – Present