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?
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. For current courses, see the dedicated page.
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, 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, …
For more details, see the dedicated page.