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

Me Contacter

email :

 bureau recherche (LIP) :

Matthieu Moy
Laboratoire d’Informatique du Parallélisme (LIP)
ENS Lyon
Bureau 353 S, 3ème étage à côté du coin café
46 allée d’Italie
69 364 LYON
Plan d’accès : site Monod de l’ENS Lyon
Téléphone : 04 72 72 85 03

 bureau enseignement (Doua) :

Matthieu Moy
Université Lyon 1
Département Informatique
Bâtiment Nautibus - Bureau 12.051
23-25 Avenue Pierre de Coubertin
69 622 VILLEURBANNE Cedex
Téléphone : 04 72 44 83 67
Plan d’accès : Bâtiment Nautibus

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

Derniers articles

Articles les plus populaires

Les mots-clés

Co-workers

Modèle polyédrique , Amaury Maillé , Bageshri Karkare , Bruno Ferres , Catherine Parent , Christophe Alias , Claire Maiza , Claude Helmstetter , David Monniaux , Florence Maraninchi , Frédéric Suter , Giovanni Funchal , Guillaume Salagnac , Hamza Rihani , Jérôme Cornet , Julien Henry , Karine Altisen , Kevin Marquet , Laure Gonnord , Ludovic Henrio , Martin Goyot , Mehdi Khosravian , Oussama Oulkaid , Pascal Raymond , Rémi Watrigant , Yanhong Liu

Tools

ac2lus , ACEplorer , Apron , ATMI , Chamilotools , Clang , CUDD , DCC , DPN , Encore language , GCC , Git , Java , jTLM , Kalray MPPA , LibTLMPWT , LLVM , LusSy , Lustre , NuSMV , PAGAI , Pinapa , PinaVM , sc-during , SimGrid , Spin , SPIP , SystemC , Tuleap , Uppaal , Verse , Vivado HLS , Yices , Z3

Topics

42 , Interprétation Abstraite , Implémentation , Modèle polyédrique , Synthèse de haut niveau (HLS) , Compilation , Dataflow programs , Formal Verification , Future , Parallelism , Power-estimation , Programming languages , Real-Time Calculus , Simulation , SMT-solving , TLM , Transistor-level analysis of electronic circuits , Worst Case Execution Time

Type of Student

Stagiaire L3 , Projet de fin d’étude (ingénieur) , Stage L3 , Projet d’orientation en Master (POM) , Stagiaire M1 , CCI Internship , CIFRE Ph. D , Excellence Internship , IRL Ensimag , L2 Internship , M2R , Ph. D , Post-doc , TER UJF

Year

2006 , 2007 , 2008 , 2009 , 2010 , 2011 , 2012 , 2013 , 2014 , 2015 , 2016 , 2017 , 2018 , 2019 , 2021 , 2022 , 2023 , 2024
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