Jason Rute (Preferred)
Jason Rute
IBM Research
Names
Emails
****@gmail.com
, ****@ibm.com
, ****@ibm.com
Personal Links
Education & Career 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
PhD Advisor
Jeremy Avigad
2008 – 2013
Expertise
Theorem proving
2018 – Present
Machine learning for theorem proving
2018 – Present