Assistant Professor in Ensimag/Verimag (Synchrone team).

Contact Details

email: Matthieu.Moy@grenoble-inp.fr

Address:

Verimag Laboratory
Centre Équation - 2, avenue de Vignate
38610 Gières
FRANCE
Phone: +33 4 56 52 03 56

Fax: +33 4 56 52 03 44

How to come to Verimag (I’m in the « Équation 4 » building, but the entry phone is at the « Équation 3 » entrance)
Research Teaching Tools

Latest articles

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80

The most read articles

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80

Keywords

Co-workers

Bageshri Karkare, Claire Maiza, David Monniaux, Florence Maraninchi, Giovanni Funchal, Julien Henry, Karine Altisen, Kevin Marquet, Pascal Raymond, Yanhong Liu

Tools

ac2lus, ACEplorer, Apron, CUDD, GCC, Git, Java, jTLM, LLVM, LusSy, Lustre, NuSMV, Pinapa, PinaVM, Spin, SPIP, SystemC, Uppaal, Yices, Z3

Topics

42, Abstract Interpretation, Implementation, Compilation, Formal Verification, Parallelism, Power-estimation, Real-Time Calculus, SMT-solving, TLM

Type of Student

Bachelor of engineering, L3 Internship, Master 1 internship, CIFRE Ph. D, Excellence Internship, M2R, Ph. D, Post-doc, TER Ensimag, TER UJF

Year

2006, 2007, 2008, 2009, 2010, 2011, 2012
Valid XHTML 1.0 Transitional