Assistant Professor at Lyon 1/LIP. Formerly  Ensimag/Verimag (Synchrone team leader).

Contact Details

New address at Lyon:

Matthieu Moy
ÉNS Lyon
Laboratoire d’Informatique du Parallélisme
Office 345 S, 3rd Floor
46 allée d’Italie
69007 LYON
FRANCE

Access map : site Monod of l’ENS Lyon

Phone : +33 4 72 72 84 70

Former address at Grenoble:

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 :

Phone: +33 4 57 42 22 34

Curriculum Vitæ (CV): matthieu-moy-cv-detaille.pdf

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