PhD student
Team Systems Specification and Verification
Supervised by Florent Madelaine, Julien Grange, Mamadou Kanté (UCA)

Office: P2 214
Email: fatemeh.ghasemi@lacl.fr
Phone +33: 01 45 17 16 47
Fax +33: