I am now working as a post-doctoral researcher in LIST at CEA, Saclay, France.

• 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)