This page is also available in English.

Attaché pour la Science & la Technologie @ Ambassade de France

• Courrier : 4101 Reservoir Rd NW - Washington DC 20007 - USA
• marc.daumas@diplomatie.gouv.fr - attache-it@ambascience-usa.org
• Tél : +1 (202) 944-6237 - Fax : +1 (202) 944 6219 - Mobile : +1 (202) 607 6439
• Empreinte cryptographique - Veuillez crypter tous les courriers sensibles
• Diplomatie: B270 5658 F28A D6F7 3A70 93AB B76F D652 053D 7B6D (signature)
  et 74AF 2C0D EC0E 1FD9 F7D0 7725 FFA5 9722 5EF8 F157 (chiffrement)
• GnuPG : 1978 BA8E 4FCC C836 4A97 3518 FA2C 83E4 FA83 E603
• CA Cert : 252B 7605 44EA 157F 549C 8F17 CDAF A69D 52CB C2F5 (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
• Mon bureau (C303) est au 3ème étage, entrée par le bâtiment B

Visiting Professor @ Université du Maryland

• mdaumas@umd.edu - Departement ENME 
• Courrier : 0151E Martin Hall - College Park MD 20742-3035 - USA

Précédemment Chargé de mission @
Ministère de l'Enseignement Supérieur et de la Recherche

• marc.daumas@recherche.gouv.fr 

Professeur des Universités en Informatique @ UPVD

• Laboratoire PROMES suite à la fusion avec le laboratoire ELIAUS
• Courrier : Tecnosud - Rambla de la thermodynamique - 66100 Perpignan - FRANCE
• marc.daumas@promes.cnrs.fr - Tél : +33 4 68 68 22 25 - Fax : +33 4 68 68 22 13
• Mon bureau (B25) est au 1er étage de l'aile centrale du bâtiment de PROMES à Perpignan

CV

• Ancien élève de l'ÉNS de Lyon (concours mathématiques)
• Master of Science, SMU, Dallas, Texas (major: computer science)
• Agrégé de mathématiques
• Docteur en informatique de l'ÉNS de Lyon (thèse)
• HDR de l'U. Lyon I (document d'habilitation)

Publications en quelques nombres

Livres et chapitres de lives	6
Articles de journaux	18
Articles dans des actes de conférences avec comité de lecture	41	dont 2 invitations
Autres présentations	38	y compris 8 séminaires à l'étranger
Rapports	48
Logiciels	7	y compris FP2 distribué dans NetLib
Publications Scopus	28	ID 6701507274, 35338747700, 54679491600 & 54902498700
Publications Web of knowledge	24	(ResearchID)
Indice i10 Profile Google scholar	21	Depuis 2008 : 8
Citations Profile Google scholar	652	Depuis 2008 : 275
H-index Scholar calculator	15	Besoin pour incrément : 1 - Sur les 5 dernières années : 10
G-index Scholar calculator	22	Besoin pour incrément : 32
E-index Scholar calculator	13

Sélection de 5 publications récentes dans des journaux

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

Sélection de 5 publications récentes en conférences 

• S. Collange, Y. Dandass, M. Daumas & D. Defour, Using Graphics Processors for Parallelizing Hash-based Data Carving, IEEE 42nd Annual Hawaii International Conference on System Sciences, 10p, 2009.
• 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.
• 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.

Encadrement de thèses (7),  jurys de thèse (12) ou d'HDR (1)

• Directeur des thèses de C. Finot (ÉNS de Lyon), S. Boldo (ÉNS de Lyon), G. Melquiond (ÉNS de Lyon), F. Cháves (ÉNS de Lyon), S. Collange (UPVD), P. Vilamajo (UPVD) et S. Ouajdi (UPVD et UMP)
• Rapporteur des thèses de Y. Dumonteix (U. Paris 6), D. Toma (UJF Grenoble), R. Zumkeller (Ecole Polytechnique) et J Caux (UBP Clermont-Ferrand)
• Membre du jury de thèse des étudiants précédents ainsi que de S. Graillat (UPVD), V. Holimath (USC Saint Jacques de Compostelle, Espagne) et J. Florez (UdG Girones, Espagne)
• Membre du jury d'HDR de M. Martel (U. Paris X)

Éditeur

• Journal of Software (2007-2012)
• International Journal on Advances in Systems and Measurements

Éditeur invité

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

Animation et responsabilités collectives au cours du temps

• Directeur du Département Mathématiques et Informatiques de l'UPVD
• Directeur du PPF Suréna entre ELIAUS (UPVD) et le LIRMM (UM2)
• Membre du comité de pilotage de l'UOH, l'UOMLR, ELIAUS et le GDR ARP
• Animateur des groupes AriNews et GSOC des GDR ARP puis ASR
• Responsable local de 2 projets de l'ANR (BioWIC et EVA-Flo)
• Expert pour 4 projets ANR et 5 projets PCRD
• Trésorier adjoint de l'association d'anciens AÉ-ÉNS

Organisation de conférences

• General chair de Perpi'2006 & MDAI 2010
• Membre du comité de pilotage de RNC, SympA et ComPAS (ex RenPar-SympA-CFSE)
• Président du comité de programme de RNC'5, SympA'2005, SympA'2008 et RNC'8
• Membre du comité de programme de 25 conférences internationales : 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)

Principaux contrats

• Aérospatiale avec Jean-Michel Muller, 1998
• France-Berkeley Fund (UC Berkeley et Lawrence Berkeley Laboratory), avec Jonathan Shewchuk, 1999-2000
• PICS 2533 (CNRS-NASA) avec le  National Institut of Aerospace, ainsi que l'UC Berkeley (William Kahan) et le LIX (Gilles Dowek), 2004-2007
• Projet ANR, Evaluation et Validation Automatique pour le calcul Flottant, 2006-2010
• Projet ANR, Bioinformatics Workflow for Intensive Computation, 2008-2012

Enseignements

• Bases de données pour le Web (M1 - MySQL + Pear)
• Informatique répartie (M1 - MPI)
• Conception de systèmes informatuiques sûrs (M1 - Atelier B)
• Recherche opérationelle (M1)
• Arithmétique des Ordinateurs (L2 & M1)

Information

Code QR vers ce site