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

Contact Details

Address:
Matthieu Moy
Laboratoire Verimag
Batiment IMAG
700 avenue Centrale
Domaine Universitaire
38401 Saint-Martin-d’Hères
FRANCE

Access map: https://www.openstreetmap.org/#map=19/45.19031/5.76735 (2nd floor, office number 284, north-west of the building).

email: Matthieu.Moy@grenoble-inp.fr

Phone: +33 4 57 42 22 34

Latest articles

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

Most popular articles

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

Keywords

Co-workers

Bageshri Karkare , Catherine Parent , Claire Maiza , Claude Helmstetter , David Monniaux , Florence Maraninchi , Giovanni Funchal , Guillaume Salagnac , Hamza Rihani , Jérôme Cornet , 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 , 2017 , 2018
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