Maître de conférences à Lyon 1/LIP. Anciennement à l’Ensimag/Verimag (chef d’équipe Synchrone).

Me Contacter

Nouvelle adresse à Lyon :

Matthieu Moy
ÉNS Lyon
Laboratoire d’Informatique du Parallélisme
Bureau 345 S, 3ème étage
46 allée d’Italie
69007 LYON

Plan d’accès : site Monod de l’ENS Lyon

Téléphone : 04 72 72 84 70

Ancienne adresse à Grenoble :

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

email:

Téléphone : 04 57 42 22 34

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

Derniers articles

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

Articles les plus populaires

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

Les mots-clés

Co-workers

Modèle polyédrique, Bageshri Karkare, Catherine Parent, Christophe Alias, 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, Interprétation Abstraite, Implémentation, Synthèse de haut niveau (HLS), Compilation, Formal Verification, Parallelism, Power-estimation, Real-Time Calculus, SMT-solving, TLM, Worst Case Execution Time

Type of Student

Stagiaire L3, Projet de fin d’étude (ingénieur), Stage L3, Stagiaire M1, 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 | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License