• Attaché for Science and Technology
• 2017- Embassy of France in Dublin, Ireland (Cultural and Scientific Service)
• 2012-2015 Embassy of France in Washington DC, USA (Mission for Science and Technology)

• Surface mail: 66 Fitzwilliam Lane -  Dublin 2 - IRELAND
• US: (301) 500 0369 - Phone: +353 (1) 277 5051
• marc.daumas@ens-lyon.org - daumas@alumni.smu.edu
• Cryptographic fingerprints - Please encrypt all sensitive emails
• GnuPG: BF76 0743 8828 12D9 B230 C642 F2C7 4401 A46E DBB0
• CA Cert: 6E65 73EE AAC8 ADBB 632B 1A6A AABC D7C9 DBCF 6666 (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

• Appointed by France's Secretary for Higher Education and Research
• Statutory Full Professor member enlisted in the Computer Science division (27ème section)
• marc.daumas@cnu.education.gouv.fr

• DGRI/MEI and DGRI/SETTAR/C1 services

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. Software written for this article appear in Ridley Scott's 2015 motion picture "The Martian" with 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.

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 (14) 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 (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), J. Florez (UdG Girona, Spain) and C. Chohra (UPVD, President)
• 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 29 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, 15, 16), MDAI (2011, 2012), Dictap 2011, Future Computing (2012, 2013, 2014, 2015, 2016)

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