Cette page est aussi disponible en Français.

Attaché for Science & Technology @ Embassy of France

• Surface mail: 4101 Reservoir Rd NW - Washington DC 20007 - USA
• marc.daumas@diplomatie.gouv.fr - attache-it@ambascience-usa.org
• Phone: +1 (202) 944-6237 - Fax: +1 (202) 944 6219 - Cell: +1 (202) 607 6439
• Cryptographic fingerprints - Please encrypt all sensitive emails
  • Diplomatie: B270 5658 F28A D6F7 3A70 93AB B76F D652 053D 7B6D (signature)
    and 74AF 2C0D EC0E 1FD9 F7D0 7725 FFA5 9722 5EF8 F157 (cypher)
  • GnuPG: 1978 BA8E 4FCC C836 4A97 3518 FA2C 83E4 FA83 E603
  • CA Cert: 75BC BDFB 0C88 DD40 6733 EFBE 4938 C613 382B 728D (accréditeur)
  • CNRS2: 7203 789C F31F 47E8 B354 8557 4865 A76E 725C 7627
  • VeriSign: DB 64 8C F4 2A 32 5A 15 85 D6 42 EA 0A 3A 2D 73 58 1B 11 0D
• My office (C303) is located on the 4th floor, enter through B building

Visiting Professor @ University of Maryland

• mdaumas@umd.edu - ENME department 
• Surface mail: 0151E Martin Hall - College Park MD 20742-3035 - USA

Former Programme officer @ Ministry of Higher Education and Research

• DGRI/MEI and DGRI/SETTAR/C1 services

Professor of Computer Science @ UPVD

• PROMES laboratory following merge with ELIAUS laboratory
• Surface mail: Tecnosud - Rambla de la thermodynamique - 66100 Perpignan - FRANCE
• marc.daumas@promes.cnrs.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

Former Research Associate @ CNRS

• LIP (UMR 5668, Lyon) and LIRMM (UMR 5506, Montpellier) laboratories

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

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.

Selection of 5 recent conference publications and book chapter

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

PhD advisor (6), board of examiners for PhD (12) 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), S. Collange (UPVD) and S. Ouajdi (UPVD and UMP)
• Reviewer of Y. Dumonteix (U. Paris 6), D. Toma (UJF Grenoble), R. Zumkeller (Ecole Polytechnique) and J Caux (UBP Clermont-Ferrand)
• 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 (2007-2012)
• International Journal on Advances in Systems and Measurements

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 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) 

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 and 5 FP7 projects
• 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 & ComPAS (formerly 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 25 international conferences: 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), MDAI (2011, 2012), Dictap 2011, Future Computing (2012, 2013, 2014)

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)

Awareness

QR code to this page