AI 资本情报
Sriram Rajamani · 投资参与人物档案
人物速览
Microsoft Research 官网列示 Sriram Rajamani 为 Corporate Vice President；Pramaana Labs 的公司融资公告将他列为早期支持者之一。
来源核验日期： · 本档案包含官网、本人公开资料或一手披露核验内容；详细来源和原文摘录见下方。
职业经验
Microsoft Research 页面介绍其研究与管理职务；Pramaana Labs 官方公告将其列为早期支持者。
履历与职务
- Microsoft Research · Corporate Vice President
现任（官网或公开资料核验） 来源 1
教育背景
- University of California, Berkeley
PhD 来源 2
公开成绩与记录
- Pramaana Labs 官方融资公告将 Sriram Rajamani 列为早期支持者。 来源 3
- 融资来源记录：Pramaana Labs · 历史轮次未披露 · 天使投资人。这是本库收录的披露案例，不代表完整投资组合。 来源 4
原始来源
- 1. Sriram Rajamani at Microsoft Research
nter Documentation Events Licensing Microsoft Learn Microsoft Research View Sitemap Sriram Rajamani Corporate Vice President, Microsoft Research Connect on LinkedIn About Projects Publications Videos More Info About Sriram Rajamani is Corporate Vice President at Microsoft Research.
- 2. Sriram Rajamani at Microsoft Research
(opens in new tab) Sriram has a PhD from UC Berkeley (opens in new tab) , MS from University of Virginia (opens in new tab) and BEng from College of Engineering, Guindy (opens in new tab) , all with specialization in Computer Science.
- 3. We Raised $27M To Build A Compiler For Mission-Critical AI
Our early backers include the world's leading minds in formal verification, including Pushmeet Kohli (VP, Google DeepMind) and Sriram Rajamani (Corporate VP, Microsoft Research), and by a frontier research lab spanning IIT Delhi, IIT Madras, and UC Berkeley, with our tax effort advised by former IRS Commissioner Danny Werfel.
- 4. Pramaana Labs
Angel investor includes Sriram Rajamani