Hi,
I am presently an International Fellow at Stanford Research Institute,in the CSL group, until the end of 2009.
I am a permanent researcher in the TypiCal (previously LogiCal) team, located at the Computer Science Lab of the École Polytechnique (LIX)
I am also working at the INRIA/Microsoft Research Joint Centre, in the Mathematical Components team.
How to reach me
Snail Mail at LIX
Assia MahboubiLIX, Ecole Polytechnique,
F-91128 Palaiseau Cedex,
France
Telephone at LIX
+33 (0)1 69 33 41 29Snail Mail at INRIA MSR Joint Centre
Assia MahboubiINRIA Futurs
Parc Club Orsay Université, Bât I - ZAC des Vignes
2-4, rue Jacques Monod
91893 ORSAY Cedex
France