Vivien Maisonneuve
|
I am a PhD student at the
Computer Science Research Center
(CRI) of
MINES ParisTech,
working under the supervision of Corinne Ancourt and François Irigoin. My research interests include model checking, convex program analysis and program restructuration. I am involved in the PIPS project. |
Contact
| vivien dot maisonneuve at cri dot mines-paristech dot fr | |
| Phone | +33 (1) 64 69 48 40 |
| Office | R.06 |
| Address |
35 rue Saint-Honoré
77305 Fontainebleau France |