I'm interested in model based design, verification and synthesis problems for asynchronous concurrent communicating components. I'll be submitting my thesis shortly.

• Specifying Interacting Components with Coordinated Concurrent Scenarios
  with Madhavan Mukund
  Abstract| PDF (Tech Report : Conf. version submitted to SEFM)
• Programming Asynchronous Layers with CLARITY
  with Christopher L. Conway, Joseph Joy, Sriram Rajamani
  Abstract| PDF(FSE 2007)
• Matching scenarios with timing constraints
  with Madhavan Mukund
  Abstract| PDF(FORMATS 2006)