Fahim Rahim and Rajesh Bawa

Fahim Rahim is currently an assitant-researcher at LIP6 laboratory at University of Paris 6. He has obtained his master degree from the same university and the prestigious french degree "Titre D'ingenieur" from the Paris Institut of Electronics .His work concerns modular and compositional model checking of Hardware Designs.

Rajesh K. Bawa is currently a Researcher at LIP6 laboratory at University Of Paris 6. He obtained his Master and Ph.D. from the same university. His Ph.D. research was in the field of Formal Verification in VHDL based Systems.

Email address for F. Rahim: Fahim.Rahim@lip6.fr

Email address for R. Bawa : bawa@asim.lip6.fr