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

Me Contacter

email :

Nouvelle adresse à Lyon, bureau Recherche :

Matthieu Moy
ENS Lyon
Laboratoire d’Informatique du Parallélisme (LIP)
Bureau 366 N, 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 85 03

Nouvelle adresse à Lyon, bureau Enseignement :

Matthieu Moy
Université Lyon 1
Département Informatique
Bâtiment Nautibus - Bureau 12.063
23-25 Avenue Pierre de Coubertin
69 622 VILLEURBANNE Cedex
Téléphone : 04 27 46 57 49
Access map : Bâtiment Nautibus

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

Derniers articles

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

Articles les plus populaires

0 | ... | 30 | 40 | 50 | 60 | 70 | 80 | 90 | 100 | 110 | ... | 140

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, DPN, GCC, Git, Java, jTLM, Kalray MPPA, LibTLMPWT, 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, Simulation, 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