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

Tool-space Interference: An emerging problem for LLM agents
December 9, 2025
Karen Easterbrook,

Tyler Payne
Using LLMs for safe low-level programming
February 25, 2025
Aseem Rastogi,

Pantazis Deligiannis
STACK 2024 - SPACE in the Age of AI: Measuring What Matters for Developer
November 9, 2024
Brian Houck