Assistant Professor at Lyon 1/LIP (CASH team leader / In charge of UBCL CS Bachelor). Formerly Ensimag/Verimag (Synchrone team leader).

Contact Details

email :

Research office (LIP):

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

Teaching office (Doua):

Matthieu Moy
Université Lyon 1
Département Informatique
Bâtiment Nautibus - Office 12.051
23-25 Avenue Pierre de Coubertin
69 622 VILLEURBANNE Cedex
FRANCE
Phone: +33 4 72 44 83 67
Access map: Bâtiment Nautibus

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

Latest articles

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

Most popular articles

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

Keywords

Co-workers

Polyhedral model, Amaury Maillé, Bageshri Karkare, 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, 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, Abstract Interpretation, Implementation, Polyhedral model, High-level Synthesis (HLS), Compilation, Dataflow programs, Formal Verification, Future, Parallelism, Power-estimation, Programming languages, 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 project, Master 1 internship, 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
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