
Researcher
India

Researcher
India
My research interests are in design of formal models for concurrent
communicating systems, with asynchronous behavior. In particular, I'm
interested in formal models with rich visual notation for such
systems, targeting Model Driven Design and Development of such
systems. I'm also interested in high level programming models for
asynchronous systems.
Formal Models; Model Based Design, Dev. & Synthesis.
(Research industry)
2003 — Present (6 years )
(Educational Institution; Research industry)
April 2009 — May 2009 (2 months)
(Public Company; MSFT; Research industry)
May 2006 — July 2006 (3 months)
M.Sc. , Computer Science , 2001 — 2003
B.Sc. (Hons) , Mathematics and Computer Science , 1998 — 2001
ACM