TechVista 2010 – Sriram Rajamani

February 2, 2010
Sriram Rajamani

Sriram Rajamani presents his thoughts on “Verification, Testing and Statistics” at TechVista 2010.

- Sriram Rajamani
  
  Corporate Vice President, Microsoft Research
Research Area
- Programming languages and software engineering
Research Lab
- Microsoft Research Lab - India

Watch Next

Microsoft Research India 2025 Highlights
December 31, 2025
Tool-space Interference: An emerging problem for LLM agents
December 9, 2025
Karen Easterbrook,

Tyler Payne
AI and productivity: A year-in-review with Microsoft, Google, and GitHub researchers
December 9, 2025
Brian Houck
Beyond the Commit: A Fireside Chat on AI and Developer Productivity
October 9, 2025
Brian Houck
Episode 4: A distribution channel for AI innovation
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Episode 5: Breakthroughs in AI
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Episode 6: Healthcare Agent Orchestrator
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Episode 7: The road ahead
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Microsoft Research India - The evolution
March 1, 2025
Venkat Padmanabhan,

P. Anandan,

Rick Rashid

, et. al.
Microsoft Research India - The lab culture
March 1, 2025
P. Anandan,

Indrani Medhi Thies,

B. Ashok

, et. al.

Your Privacy Choices