Assistant Professor in Ensimag/Verimag (Synchrone team).

Contact Details

email: Matthieu.Moy@grenoble-inp.fr

Address:

Laboratoire Verimag
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)

Latest articles

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

Most popular articles

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

Keywords

Co-workers

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

Tools

ac2lus, ACEplorer, Apron, ATMI, CUDD, GCC, Git, Java, jTLM, LLVM, LusSy, Lustre, NuSMV, PAGAI, Pinapa, PinaVM, sc-during, 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, IRL Ensimag, M2R, Ph. D, Post-doc, TER UJF

Year

2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015
Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License