Tom Kalil
@tkalil2050
Followers
2K
Following
81
Media
7
Statuses
339
CEO, @RenPhil21 • Catalyzing breakthrough science through ambitious philanthropy • Fueling a 21st century renaissance
Lafayette, California
Joined September 2021
Congrats to the Mathlib Initiative team, and thanks so much to Alex Gerko, founder and CEO of XTX Markets for his generous support. Thanks for all of the volunteers that have collectively contributed 2 million lines of code!
The Mathlib Initiative is live! After years of volunteer-driven progress in formal math, we're scaling up with professional infrastructure, building the future of math with rigor and scale. https://t.co/OwKA12wDoy 👇
0
1
11
And much more to come! Thanks for the hard work of everyone at @RenPhil21 - and all of our partners and funders that make it possible.
UPDATE: The last month has been whirlwind for us at @renphil21 as we rapidly scale. I wanted to share a few of the highlights in case you missed it.
0
1
20
Exciting news! Our third partnership with governments to scale the ARPA model. See https://t.co/TObGLyG3to for more on the "Big if True Science" model.
Big news from 🇯🇵! We're excited to partner with @JST_info to launch ASCENT, marking our our 3rd government partnership supporting ARPA-style R&D programs. 👇
0
2
20
Congrats to @E11BIO and their collaborators for their progress on mapping the brain, and to @Convergent_FROs for launching so many high-impact Focused Research Organizations.
@E11BIO is excited to unveil PRISM technology for mapping brain wiring with simple light microscopes. Today, brain mapping in humans and other mammals is bottlenecked by accurate neuron tracing. PRISM uses molecular ID codes and AI to help neurons trace themselves. We discovered
0
1
11
Breaking new ground: Today we along with @xtxmarkets announced $18M to supercharge the future of math + AI! Can’t wait to see how grantees of the AI for Math Fund drive new discoveries. #AIforMath Learn more:
renaissancephilanthropy.org
FOR IMMEDIATE RELEASE Contact: Richard Hillary [email protected] ; [email protected]
0
2
13
Really important @ARIA_research program from @bscwang on developing "innate vaccines" that could defend against many respiratory viruses. Pls consider providing feedback if this is an area where you have expertise!
🚨BIG new programme thesis from ARIA's @bscwang. The goal: demonstrate single-course prophylactic protection across ≥3 viral families for ≥3 months, leveraging new tools for precise modulation of innate immunity. Need your feedback to shape the funding call! <link in thread>
1
3
16
Wow, reviewing ARIA CEO applications and it’s a ludicrously strong field. @ilangur and the team have built a truly special organisation - a culture and team as ambitious and relentless as anything I’ve seen in startups - and the future looks very bright 👏👏
12
7
120
Congrats to @ARIA_research and @eric_is_weird for launching this initiative! The world needs more metascience entrepreneurs - more experimentation in how we fund research and innovation.
1/ 🚨 Calling all ambitious researchers + engineers! 🚨 We’re launching the FRC Launchpad (FRCL), a new programme with @ARIA_research bringing together world-class engineers and researchers, part of the UK Horizons program to supercharge the UK's R&D ecosystem.
0
7
35
Go #LeanLang!
Check out the new use cases on https://t.co/2jeqAXEKgJ showing real-world #LeanLang applications! 📚 Mathlib: Nearly 2M lines of formalized math spanning algebra, analysis, topology & more 🦀 Aeneas: Rust → Lean verification toolchain for functional correctness in #Rust
0
1
9
Thanks to a $5M grant, Mathlib is now supported by a new program at RenPhil! We’re excited to continue helping expand formal math infrastructure. Another $5M is also headed to @leanprover, part of @Convergent_FROs. Learn more:
renaissancephilanthropy.org
FOR IMMEDIATE RELEASE July 24, 2025 Contact: [email protected] ; [email protected] ; [email protected]
1
4
25
Congrats to @CultivariumFRO for addressing a key bottleneck in microbiology - half of the literature is focused on 10 species, and 74 percent of microbes are not studied. Think of all of the microbial superpowers like CRISPR and optogenetics left to discover! #asmmicrobe2025
What if we could dramatically expand the set of genetically tractable microbes? Join us at #ASMMicrobe2025 to hear @hhlee explore scalable solutions to one of microbiology’s biggest bottlenecks. @ASMicrobiology #ASMmicrobe #Microbiology #ScienceConnection
0
3
9
Check out our playbook on thesis-driven, philanthropic funds, led by leaders in the field with deep domain expertise.
📢 We just released our complete playbook for thesis-driven philanthropic funds. A new model that's creating better outcomes for donors, scientists, and society. Here's how it works: 👇
0
4
16
Great article about the origin story of Focused Research Organizations! What is the next metascience experiment we should launch? https://t.co/7FRaeeIIxN
@AdamMarblestone @AGamick @SGRodriques
news.mit.edu
Developed by former MIT researchers, focused research organizations (FROs) undertake large research efforts and have begun to contribute to scientific advances.
0
10
28
Congrats @alexsaraki! I hope philanthropists take a look at this important project.
After over a year of incubating, I’m excited to share a new project inspired by a ~decade of in vivo drug discovery experience 🧬 Artemis is a Focused Research Organization (FRO) to establish alternative, naturally physiologically human-like animal species for complex disease
1
3
8
(12) Get in touch - especially if you'd like to work with Renaissance Philanthropy on these ideas!
renaissancephilanthropy.org
A brighter future for all through science, technology, and innovation.
1
0
22
(11) This is despite the fact that our largest post-secondary program has a negative impact on wages. No shortage of room for improvement!
1
1
14
(11) What are “no regrets” policies? For example, we fund almost no research in improving workforce development and labor-market interventions, or in getting firms to support sector-specific skills (e.g. like FAME for advanced manufacturing, w. community colleges)
1
2
18
(10). Charter cities. More decentralized experimentation on the legal regimes that would create employment.
1
1
14
(9) A more speculative idea - “reverse auctions” + wage subsidies. Rather than picking an arbitrary level of subsidy, could a reverse auction discover the minimum level of subsidy required for job creation – like the UK “contract for difference” for off-shore wind?
2
0
10