 "Sriram Rajamani named by Microsoft as India Research Lab MD")
Rajmani will spearhead Microsoft India's continued focus on research, innovation and collaboration with the scientific community. "Sriram is a renowned computer scientist with a proven research and managerial track record spanning the last 17 years in Microsoft's research organization," said Jeannette Wing, corporate vice-president, Microsoft Research Labs.
Rajmani was previously the assistant managing director of Microsoft's India research lab.
Rajmani, who is a PhD holder in Computer science from University of California has also headed the Software Productivity Tools group in Microsoft's Redmond research lab.
"India has one of the fastest growing and most dynamic IT industries, and it's also a unique place in which to do cutting-edge research. We're excited that someone with Sriram's experience and leadership capabilities can help advance state of the art in computer science, and develop new technologies for emerging markets," Wing added.
Rajmani is the co-winner of the CAV (Computer Aided Verification) 2011 award for his research in bringing formal verification of computer programs to industrial practice.
Rajamani is a researcher and has researched on various areas in computer science, ranging from hardware and software verification, and programming language design, to distributed systems, security and privacy, cloud security and probabilistic programming.
The Association for Computing Machinery (ACM) named him as an ACM Fellow this year for his contributions to software analysis and defect detection.
"It is an honor to lead Microsoft's India research lab, with its abundance of top-notch talent. I look forward to leading and expanding Microsoft's commitment to world-class research and innovation in India, and deepening our partnerships with our academic partners," said Rajmani.
