Matthieu Martel


Associate Professor in Computer Science
(Maître de Conférences Habilité à Diriger des Recherches)

Laboratoire de Mathématiques et de Physique (LAMPS)
Université de Perpignan Via Domitia

Research

News


  • Video presentations of Numalis and SATT AxLR
  • Organizer with Nasrine Damouche of JDC'10: 10ièmes Journées Nationales de Compilation du GDR GPL
  • PC-Chair with Sergiy Bogomolov of NSV 2015: 8th International Workshop on Numerical Software Verification 2015
  • Co-founder with Arnault Ioualalen and Nicolas Normand of Numalis
  • PC-member of PECCS 2015 - 4th International Conference on Pervasive and Embedded Computing and Communication Systems

Research Interests

Current Projects & Collaborations

  • CAFEIN: Combinaison d'approches formelles pour l'étude d'invariants numériques, ANR Programme "Ingénierie Numérique et Sécurité". Partners: ONERA, LRI, ENSTA, CEA, Rockwell Collins, Prover.
  • Airbus: Joint PhD thesis (CIFRE, ANRT Grant).
  • Numalis: Scientific collaboration with the start'up Numalis

Current PhD Students

Past PhD Students

Participation to HDR and PhD committees:

Press Review