Professor, Grenoble INP / Ensimag 
Director of the VERIMAG laboratory (and member of the Synchrone team)
Member of the technical workgroup at Minalogic.




Florence dot Maraninchi at imag dot fr
Florence dot Maraninchi at univ - grenoble - alpes dot fr

mail: VERIMAG, bâtiment IMAG, 700 Avenue Centrale, 38401 Saint-Martin-d’Hères
tel. (33) 4 57 42 22 30

How to reach us?

Short CV

Florence Maraninchi received the Ph.D. in Computer Science and the “Habilitation a diriger des recherches (HDR)’’ from the University of Grenoble, France, in 1990 and 1997, respectively. In 1990, she joined UJF (Joseph Fourier University, Grenoble) as an assistant professor. In 2000, she joined Grenoble INP, where she currently holds a professor position. From September 2005 to August 2007, she was with CNRS. She is the director of Verimag since January 1, 2016.

She teaches at Ensimag (the department of Computer Science, Applied Maths and Telecom of Grenoble INP). Her teaching interests include algorithms and programming languages, compiler design, formal verification of critical systems, basic circuit design, object-oriented modeling, formal models for time and parallelism, and embedded system design. She is the co-author of two teaching books (in French): a book for undergraduate students, on the basics of algorithmics, databases and functional programming; a book for undergraduate students on the basics of circuits, computer organization and low level software.

Her research activities are with the VERIMAG laboratory, where she was the head of the “synchrone’’ group from 2004 to 2015. Her current research interests include synchronous languages for embedded real-time components and systems, correct-by-construction implementation of critical systems on various platforms, with a recent interest for manycore architectures (in cooperation with Airbus Helicopters), Design-by-Contract for embedded reactive systems, virtual prototyping of hardware-software systems (for functional properties and extra-functional properties like energy consumption), modeling and validation of systems-on-a-chip at the transactional level (in cooperation with STMicroelectronics),  models and shared infrastructures for smart cities (in cooperation with Orange Labs).