Assistant Professor at Lyon 1/LIP. Formerly Ensimag/Verimag (Synchrone team leader).

Contact Details

email :

New address at Lyon, research office:

Matthieu Moy
ENS Lyon
Laboratoire d’Informatique du Parallélisme (LIP)
Office 366 N, 3rd Floor
46 allée d’Italie
69007 LYON
FRANCE
Access map : site Monod of ENS Lyon
Phone : +33 4 72 72 85 03

New addresse in Lyon, teaching office:

Matthieu Moy
Université Lyon 1
Département Informatique
Bâtiment Nautibus - Office 12.063
23-25 Avenue Pierre de Coubertin
69 622 VILLEURBANNE Cedex
FRANCE
Phone : +33 4 27 46 57 49
Access map : Bâtiment Nautibus

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

Latest articles

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

Most popular articles

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

Keywords

Co-workers

Polyhedral model, 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, LLVM, LusSy, Lustre, NuSMV, PAGAI, Pinapa, PinaVM, sc-during, Spin, SPIP, SystemC, Uppaal, Verse, Yices, Z3

Topics

42, Abstract Interpretation, Implementation, High-level Synthesis (HLS), Compilation, Formal Verification, Parallelism, Power-estimation, Real-Time Calculus, Simulation, SMT-solving, TLM, Worst Case Execution Time

Type of Student

Bachelor of engineering, End of study project (engineer), L3 Internship, Master 1 internship, 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 | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License