Assistant Professor at Ensimag/Verimag (Synchrone team leader).

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 | ... | 110

Most popular articles

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

Keywords

Co-workers

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

Tools

ac2lus , ACEplorer , Apron , ATMI , Clang , CUDD , GCC , Git , Java , jTLM , Kalray MPPA , LLVM , LusSy , Lustre , NuSMV , PAGAI , Pinapa , PinaVM , sc-during , Spin , SPIP , SystemC , Uppaal , Verse , Yices , Z3

Topics

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

Type of Student

Bachelor of engineering , L3 Internship , Master 1 internship , CCI 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 , 2016
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