|
|
I am a researcher in the Rigorous Software Engineering group at Microsoft Research, India. More info can be found in my CV. My interests lie in scalable and accessible program analysis/verification techniques, model driven development, concurrency, and loosely coupled systems. |
At Kansas State University: