I am currently a post-doctoral researcher at VERIMAG working with Professor Joseph Sifakis. I obtained my Ph.D. from the Department of Computer Science and Engineering at Michigan State University. My adviser was Professor Sandeep Kulkarni.

Research: I am obsessed with correct-by-construction software development methods in the context of embedded systems. This includes the broad areas of automated formal methods (synthesis and verification), dependability, and distributed and real-time computing. In particular, I am currently working on:

1. the distributed semantics of the BIP project at Verimag,
2. developing automaded program synthesis and revision algorithms, and
3. compositional verification of fault-tolerant programs.

Passion: So, let us not be blind to our differences - - but let us also direct attention to our common interests and to means by which those differences can be resolved. And if we cannot end now our differences, at least we can help make the world safe for diversity. For in the final analysis, our most basic common link is that we all inhabit this small planet. We all breathe the same air. We all cherish our children's future. And we are all mortal. ---- John F. Kennedy

Passion: There never was a good war or bad peace. ---- Benjamin Franklin