Marc Daumas (in English)
Cette page est aussi disponible en Français.
Programme officer @
Ministry of Higher Education and Research
- Surface mail: 1, rue Descartes - 75231 Paris cedex 05 - FRANCE
- Entrance for visitors: 25 rue de la montagne Sainte Geneviève - Paris 5ème - FRANCE
- marc.daumas@recherche.gouv.fr - Phone: +33 6 16 94 94 09 - 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 (F215) is located on the third floor of Foch building in Descartes campus
Professor of Computer Science @ 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
- 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
Slides
Publications by the numbers
| Books and chapters in books | 6 | |
| Journal articles | 18 | |
| Peer-reviewed articles in conference proceedings | 40 | including 2 invitations |
| Other presentations | 38 | including 8 seminars in foreign countries |
| Reports | 48 | |
| Software | 7 | including FP2 distributed by NetLib |
| Scopus publications | 23 | with 84 citations (ID 6701507274) - h-graph |
| Web of knowledge publications | 24 | (ResearchID) |
| Scholar calculator h-index | 15 | Needed to increment: 1 |
| Scholar calculator g-index | 22 | Needed to increment: 30 |
| Scholar calculator e-index | 13 |
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
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
- 2011 Information and Computation
- 2011 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
- 2011 Journal of Advanced Computational Intelligence and Intelligent Informatics
Groups & Animation
- Chair of the Department of Mathematics and Computer Science of the UPVD (2009-2011)
- 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 and 5 FP7projects
- 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 17 international conferences: 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)
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-2012
Teaching activities
- Databases (M1 - MySQL + Pear)
- High performance computing (M1 - MPI)
- Reliability (M1 - Atelier B)
- Operational Research (M1)
- Computer Arithmetic (L2 & M1)