Thoughts on the interplay between corporate, government, and university R&D
summary
Corporate R&D funds specific tools (paid development of CVC5 proof production), government programs seed large projects (DARPA’s multi‑million PROV effort to build CI for proofs), and universities supply ideas and talent (12‑week internships that flip PhD topics after 24 weeks). A recent distributed SAT system moves state‑of‑the‑art from single‑thread to cloud clusters (distributed SAT solver solving 275 benchmarks), and an internally built pipeline now handles billions of requests per day to automated reasoning services across dozens of teams.
AI-written summary · about
chapters (9)
- 0:00Introduction
- 1:48Why this talk matters
- 4:38Academia, industry, government links
- 13:07Industry solutions and funding
- 23:46Research funding machine
- 24:50Funding and research topics
- 31:54Career from academia to industry
- 37:32Building cross-sector networks
- 40:31Q&A
related talks
40mAnti-disciplinary: doing academic research when you like too many things
10mLightning Talk: Amplifying University Research Impact with Open Source
29mBuilding Bridges in Open Source: Connecting Academic Talent with Indu...
17mThird Time's the Charm
16mTHINK ing Big, THINK ing Diverse, THINK ing Forward
51mThe Computing and Information Science...
10mHigh-potential engineers for high-impact roles
02mSteve Yegge, Sourcegraph, ETLS Vegas (25)