This page is also available in English.

Diplomate Scientifique @ Ambassade de France

• Attaché pour la Science et la Technologie
• 2017- Ambassade de France à Dublin, Ireland (Service de Coopération et d'Action Culturelle)
• 2012-2015 Ambassade de France à Washington DC, USA (Mission for Science and Technology)

Professeur des Universités en Informatique @ PROMES / UPVD

• Courrier : PROMES-CRNS - Tecnosud - Rambla de la thermodynamique - 66100 Perpignan - FRANCE
• Mon bureau (B28) était au 1er étage de l'aile centrale du bâtiment de PROMES à Perpignan

Ancien Chargé de mission @

Ministère de l'Enseignement Supérieur et de la Recherche

• Services DGRI/MEI et DGRI/SETTAR/C1 

Ancien Chargé de Recherche @ CNRS

• Laboratoires LIP (UMR 5668, Lyon) et LIRMM (UMR 5506, Montpellier)

CV

• Ancien élève de l'ÉNS de Lyon (concours mathématiques)
• Master of Science, SMU, Dallas, Texas (major: computer science)
• Agrégé de mathématiques
• Docteur en informatique de l'ÉNS de Lyon (thèse)
• HDR de l'U. Lyon I (document d'habilitation)

Publications en quelques nombres

Livres et chapitres de lives	5
Articles de journaux	18
Articles dans des actes de conférences avec comité de lecture	41	dont 2 invitations, article le plus cité repris dans 93 publications
Autres présentations	66	dont 9 séminaires à l'étranger
Rapports	88	dont 32 câbles diplomatiques
Logiciels	8	dont FP2 distribué dans NetLib
Publications Scopus	32	ID 6701507274
Publications Web of knowledge	37	(ResearchID)
H-index Google scholar	19	Depuis 2013 : 10
Indice i10 Google scholar	27	Depuis 2013 : 10
Citations Google scholar	1220	Depuis 2013 : 486
H-index Scholar calculator	16	Besoin pour incrément : 1
G-index Scholar calculator	28	Besoin pour incrément : 40
E-index Scholar calculator	19

Sélection de 5 publications récentes dans des journaux

• 
  
• S. Boldo & M. Daumas, A simple test qualifying the accuracy of Horner's rule for polynomials, Numerical Algorithms (IF: 0.527), 37(1-4), pp. 45-60, 2004.
• S. Collange, M. Daumas & D. Defour, Line-by-line spectroscopic simulations on graphics processing units, Computer Physics Communications (IF: 1.842), 178(2), pp. 135-143, 2008.
• M. Daumas, D. Lester & C. Muñoz, Verified Real Number Calculations: A Library for Interval Arithmetic, IEEE Transactions on Computers (IF: 1.680), 58(2), pp. 226 - 237, 2009. Du logiciel écrit pour cet article apparaît dans le film de Ridley Scott (2015) "Seul sur Mars" avec Matt Damon.
• S. Boldo, M. Daumas & R-C. Li, Formally Verified Argument Reduction with a Fused-Multiply-Add, IEEE Transactions on Computers (IF: 1.680), 58(8), pp. 1139-1145, 2009.
• M. Daumas & G. Melquiond, Certification of bounds on expressions involving rounded operators, ACM Transactions on Mathematical Software (IF: 1.714), 37(1), 2010.

Sélection de 5 publications récentes en conférences et chapitre de livre

• M. Daumas, D. Lester, E. Martin-Dorel & A. Truffert, Stochastic formal methods for hybrid systems, NASA Formal Methods symposium, pp. 136-145, 2009.
• M. Daumas, E. Martin-Dorel, A. Truffert & M. Ventou, A formal theory of cooperative TU-games, Modeling Decisions for Artificial Intelligence, pp. 81-91, 2009.
• S. Collange, M. Daumas, D. Defour & D. Partello, Barra: a Parallel Functional Simulator for GPGPU, 18th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication System, 351-360, 2010.
• S. Collange, M. Daumas & D. Defour, Interval arithmetic in CUDA, pp. 99-108, in Wen-Mei W. Hwu editor, GPU Computing Gems Jade Edition, Morgan-Kaufmann, 2011
• M. Daumas, Effect of R&D Tax Credit on the cost-metrics of cloud computing - A case study from France, IEEE 46th Annual Hawaii International Conference on System Sciences , pp. 3049-3056, 2013.

Encadrement de thèses (6),  jurys de thèse (14) ou d'HDR (1)

• Directeur des thèses de C. Finot (ÉNS de Lyon), S. Boldo (ÉNS de Lyon), G. Melquiond (ÉNS de Lyon), F. Cháves (ÉNS de Lyon), S. Collange (UPVD) et S. Ouajdi (UMP)
• Rapporteur des thèses de Y. Dumonteix (U. Paris 6), D. Toma (UJF Grenoble), R. Zumkeller (Ecole Polytechnique) et J. Caux (UBP Clermont-Ferrand)
• Membre du jury de thèse des étudiants précédents ainsi que de S. Graillat (UPVD), V. Holimath (USC Saint Jacques de Compostelle, Espagne), J. Florez (UdG Girones, Espagne) et C. Chohra (UPVD, Président)
• Membre du jury d'HDR de M. Martel (U. Paris X)

Éditeur

• Journal of Software (2007-2012)
• International Journal on Advances in Systems and Measurements

Éditeur invité

• 2001 Réseaux et Systèmes Répartis, Calculateurs Parallèles, 13(4-5), 198 pages
• 2006 Theoretical Computer Science, 351(1), 130 pages
• 2006 Technique et Science Informatiques, 25(7), 128 pages
• 2010 Technique et Science Informatiques, 29(2), 99 pages
• 2011 Journal of Advanced Computational Intelligence and Intelligent Informatics, 16(1), 33 pages
• 2012 Information and Computation, 216, 95 pages
• 2012 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 19(supp1) 

Animation et responsabilités collectives au cours du temps

• Directeur du Département Mathématiques et Informatiques de l'UPVD
• Directeur du PPF Suréna entre ELIAUS (UPVD) et le LIRMM (UM2)
• Membre du comité de pilotage de l'UOH, l'UOMLR, ELIAUS et le GDR ARP
• Animateur des groupes AriNews et GSOC des GDR ARP puis ASR
• Responsable local de 2 projets de l'ANR (BioWIC et EVA-Flo)
• Expert pour 4 projets ANR et 5 projets PCRD
• Trésorier adjoint de l'association d'anciens AÉ-ÉNS

Organisation de conférences

• General chair de Perpi'2006 & MDAI 2010
• Membre du comité de pilotage de RNC, SympA et ComPAS (ex RenPar-SympA-CFSE)
• Président du comité de programme de RNC'5, SympA'2005, SympA'2008 et RNC'8
• Membre du comité de programme de 29 conférences internationales : IMACS-GAMM SCAN'97, IEEE ARITH (18, 19, 20, 21), WAIFI, IEEE ICCD (2007, 2008, 2009, 2010, 2011, 2012, 2013), HPPC 2009, CENICS (09, 10, 11, 12, 13, 14, 15, 16), MDAI (2011, 2012), Dictap 2011, Future Computing (2012, 2013, 2014, 2015, 2016)

Principaux contrats

• Aérospatiale avec Jean-Michel Muller, 1998
• France-Berkeley Fund (UC Berkeley et Lawrence Berkeley Laboratory), avec Jonathan Shewchuk, 1999-2000
• PICS 2533 (CNRS-NASA) avec le  National Institut of Aerospace, ainsi que l'UC Berkeley (William Kahan) et le LIX (Gilles Dowek), 2004-2007
• Projet ANR, Evaluation et Validation Automatique pour le calcul Flottant, 2006-2010
• Projet ANR, Bioinformatics Workflow for Intensive Computation, 2008-2012

Enseignements

• Bases de données pour le Web (M1 - MySQL + Pear)
• Informatique répartie (M1 - MPI)
• Conception de systèmes informatuiques sûrs (M1 - Atelier B)
• Recherche opérationelle (M1)
• Arithmétique des Ordinateurs (L2 & M1)

Information

Code QR vers ce site