• Attaché for science and technology
• 2017-2021 - 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
• My office is located on the second floor of the South building
• US: (301) 500 0369 - Phone: +353 (1) 277 5051
• marc.daumas@diplomatie.gouv.fr.org - marc.daumas@ens-lyon.org - daumas@alumni.smu.edu
• Cryptographic fingerprints - Please encrypt all sensitive emails
• GnuPG: 2C18 FE26 4421 60C0 E325 BBF6 97F7 A0BF AA6F 481B
• CA Cert: 632F 37DF B460 42D3 3C57 EFC1 4862 BEC7 92A6 0D69 (accréditeur)
• CNRS2: 3A5E 4224 99B9 51FF 0927 391B 2EF4 0689 6431 A12C
• 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

Books and chapters in books	5
Journal articles	18
Peer-reviewed articles in conference proceedings	41	including 2 invitations, most cited article appears in 93 publications
Other presentations	66	including 9 seminars in foreign countries
Reports	101	including 45 diplomatic cables
Software	8	including FP2 distributed by NetLib
h-index Google scholar	18	Since 2014: 9
i10-index Google scholar	30	Since 2014: 9
Citations Google scholar	1302	Since 2014: 493

Selection of 5 recent journal publications

• M. Daumas & G. Melquiond, Certification of bounds on expressions involving rounded operators, ACM Transactions on Mathematical Software (IF: 1.714), 37(1), 2010
• 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, 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. 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
• 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

Selection of 5 recent conference publications and book chapter

• 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
• 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
• 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
• 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
• M. Daumas, D. Lester, E. Martin-Dorel & A. Truffert, Stochastic formal methods for hybrid systems, NASA Formal Methods symposium, pp. 136-145, 2009

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

• 2012 Information and Computation, 216, 95 pages
• 2012 Journal of Advanced Computational Intelligence and Intelligent Informatics, 16(1), 33 pages
• 2011 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 19(supp1) 
• 2010 Technique et Science Informatiques, 29(2), 99 pages
• 2006 Technique et Science Informatiques, 25(7), 128 pages
• 2006 Theoretical Computer Science, 351(1), 130 pages
• 2001 Réseaux et Systèmes Répartis, Calculateurs Parallèles, 13(4-5), 198 pages

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)

Miscellaneous