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

Me Contacter

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

Plan d’accès : (Attention, ne pas confondre avec l’Ensimag ou l’UFR IM2AG qui sont des bâtiments différents) plan détaillé, plus d’infos sur le bâtiment. L’accès est badgé, prendre mon numéro de téléphone pour pouvoir m’appeler en arrivant. (bureau 284, 2ème étage au nord-ouest du bâtiment).

email : Matthieu.Moy@grenoble-inp.fr

Téléphone : 04 57 42 22 34

Derniers articles

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

Articles les plus populaires

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

Les mots-clés

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 , Interprétation Abstraite , Implémentation , Compilation , Formal Verification , Parallelism , Power-estimation , Real-Time Calculus , SMT-solving , TLM , Worst Case Execution Time

Type of Student

Stagiaire L3 , 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