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 366 N, 3ème étage
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

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

Articles les plus populaires

0 | ... | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | 90 | ... | 150

Les mots-clés

Co-workers

Projet d’orientation en Master (POM), 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, Laure Gonnord, Ludovic Henrio, Pascal Raymond, Yanhong Liu

Tools

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

Topics

42, Interprétation Abstraite, Implémentation, Modèle polyédrique, Synthèse de haut niveau (HLS), Compilation, Formal Verification, Future, 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, L2 Internship, M2R, Ph. D, Post-doc, TER UJF

Year

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