Cette page est aussi disponible en Français.

Professor of Computer Science at UPVD

• PROMES laboratory following merge with ELIAUS laboratory
• Surface mail: Tecnosud - Rambla de la thermodynamique - 66100 Perpignan - FRANCE
• marc.daumas@univ-perp.fr - Phone: (+33) 4 68 68 22 25 - Fax: (+33) 4 68 68 22 13 - LinkedIn
• Cryptographic fingerprints - Please encrypt all sensitive emails
  • 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
• My office (B25) is located on the central aisle of the second floor of PROMES building in Perpignan.

Academia

• Fellow of the ÉNS in Lyon (mathematics)
• Master of Science in SMU, Dallas, Texas (computer science)
• Agrégation (mathematics)
• Doctor of the ÉNS in Lyon (computer science) - Thesis
• Habilitation of the U. Lyon I (computer science) - Thesis

Publications by the numbers

Recent publications / All publications

Selection of 5 recent journal publications

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

PhD advisor (5), board of examiners for PhD (10) and HDR (1)

• Advisor or co-advisor of C. Finot (ÉNS in Lyon), S. Boldo (ÉNS in Lyon), G. Melquiond (ÉNS in Lyon), F. Cháves (ÉNS in Lyon) and S. Collange (UPVD)
• Reviewer of Y. Dumonteix (U. Paris 6), D. Toma (UJF Grenoble) and R. Zumkeller (Ecole Polytechnique)
• Member of the board of examiners of the former students and of S. Graillat (UPVD), V. Holimath (USC Santiago de Compostela, Spain) and J. Florez (UdG Girona, Spain)
• Member of the board of examiners of the HDR of M. Martel (U. Paris X)

Editor

• Journal of Software

Guest editor

• 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
• 2010 Information and Computation

Groups & Animation

• Chair of the Department of Mathematics and Computer Science of the UPVD
• Chair of the Suréna joint research program between ELIAUS (UPVD) & LIRMM (UM2)
• Member of the steering committee of UOH, UOMLR, ELIAUS & GDR ARP
• Chair of AriNews & GSOC groups of the GDR ARP & ASR
• Local chair of 2 projects of the ANR (BioWIC & EVA-Flo)
• Reviewer of 4 projects of the ANR since 2006
• Deputy treasurer of the AÉ-ÉNS alumni association

Conference organization

• General chair of Perpi'2006 & MDAI 2010
• Member of the steering committee of RNC, SympA & RenPar-SympA-CFSE
• Chair or co-chair of the program committee of RNC'5, SympA'2005, SympA'2008 & RNC'8
• Member of the program committee of 11 international conferences: IMACS-GAMM SCAN'97, IEEE ARITH 18, WAIFI, IEEE ICCD 2007, IEEE ICCD 2008, IEEE ARITH 19, HPPC 2009, CENICS 09, IEEE ICCD 2009, IEEE ARITH 20 & IEEE ICCD 2010

Main Contracts

• Aérospatiale with Jean-Michel Muller, 1998
• France-Berkeley Fund (UC Berkeley & Lawrence Berkeley Laboratory), with Jonathan Shewchuk, 1999-2000
• PICS 2533 (CNRS-NASA) with the National Institut of Aerospace, also involving UC Berkeley (William Kahan) & LIX (Gilles Dowek), 2004-2007.
• Evaluation et Validation Automatique pour le calcul Flottant, project of the ANR, 2006-2010.
• Bioinformatics Workflow for Intensive Computation, project of the ANR, 2008-2011.

Teaching activities

• Databases (M1 - MySQL + Pear)
• High performance computing (M1 - MPI)
• Reliability (M1 - Atelier B)
• Operational Research (M1)
• Computer Arithmetic (L2 & M1)