This page is also available in English.

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

• Courrier : 1, rue Descartes - 75231 Paris cedex 05 - FRANCE
• Accueil visiteurs : 25 rue de la montagne Sainte Geneviève - Paris 5^ème - FRANCE
• marc.daumas@recherche.gouv.fr - Tél : +33 6 16 94 94 09 - LinkedIn
• Empreinte cryptographique - Veuillez crypter tous les courriers sensibles
  • GnuPG : BF80 0417 035B 0E00 A0BA AE9D BB5F 1F47 1730 491C
  • CA Cert : 5954 1062 C6EB F344 380C CCB4 F433 5624 8ED1 928E (accréditeur)
  • CNRS2 : BB25 83FA 48D1 3B17 17A1 1A29 5BC5 2700 19B9 43FC
  • VeriSign : DB 64 8C F4 2A 32 5A 15 85 D6 42 EA 0A 3A 2D 73 58 1B 11 0D
• Mon bureau (F215) est au 2ème étage du bâtiment Foch sur le site Descartes

Professeur des universités en informatique @ UPVD

• Laboratoire PROMES suite à la fusion avec le laboratoire ELIAUS
• Courrier : Tecnosud - Rambla de la thermodynamique - 66100 Perpignan - FRANCE
• marc.daumas@promes.cnrs.fr - Tél : +33 4 68 68 22 25 - Fax : +33 4 68 68 22 13
• Mon bureau (B25) est au 1er étage de l'aile centrale du bâtiment de PROMES à Perpignan

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)

Présentations

Publications en quelques nombres

Publications récentes / Toutes les publications

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.
• 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.

Encadrement de thèses (7),  jurys de thèse (10) 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), P. Vilamajo (UPVD) et S. Ouajdi (UPVD et UMP)
• Rapporteur des thèses de Y. Dumonteix (U. Paris 6), D. Toma (UJF Grenoble) et R. Zumkeller (Ecole Polytechnique)
• 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) et J. Florez (UdG Girones, Espagne)
• Membre du jury d'HDR de M. Martel (U. Paris X)

Éditeur

• Journal of Software

É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
• 2012 Journal of Advanced Computational Intelligence and Intelligent Informatics, 16(1), 33 pages
• 2011 Information and Computation
• 2011 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

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 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 17 conférences internationales : IMACS-GAMM SCAN'97, IEEE ARITH (18, 19, 20), WAIFI, IEEE ICCD (2007, 2008, 2009, 2010, 2011, 2012), HPPC 2009, CENICS (09, 10, 11), MDAI (2011, 2012)

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)