Sriram Krishnan

A lunch conversation with Roshan lead me to download and play with Spec# from MSR. To quote the website The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. Spec# is pronounced "Spec...

I've been a bad blogger after moving over here to blogs.msdn.com and I plan to make up for it. Life here at Microsoft has been quite fun. I've met some incredibly smart people and learnt a lot even in the short time I've been here. Since I'm feeling lazy...

Hello everyone. I took the red pill recently and joined Microsoft as a PM on Visual Studio for Devices a couple of weeks back. We're the folks who let you build apps for the Smartphone,PocketPC,etc. This also means I'll get to play with some of the...