Diplomate scientifique @ ambassade de France
|
| Livres et chapitres de lives | 5 | |
| Articles de journaux | 18 | |
| Articles dans des actes de conférences avec comité de lecture |
41 | dont 2 invitations, article le plus cité repris dans 93 publications |
| Autres présentations | 66 | dont 9 séminaires à l'étranger |
| Rapports | 101 | dont 45 câbles diplomatiques |
| Logiciels | 8 | dont FP2 distribué dans NetLib |
| H-index Google scholar | 18 | Depuis 2013 : 9 |
| Indice i10 Google scholar | 30 | Depuis 2013 : 9 |
| Citations Google scholar | 1302 | Depuis 2013 : 493 |
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 - du logiciel écrit pour cet article apparaît dans le film de Ridley Scott (2015) "Seul sur Mars" avec 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
Sélection de 5 publications récentes en conférences et chapitre de livre
- 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
Encadrement de thèses (6), jurys de thèse (14) 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) et S. Ouajdi (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), J. Florez (UdG Girones, Espagne) et C. Chohra (UPVD, Président)
- Membre du jury d'HDR de M. Martel (U. Paris X)
Éditeur
É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
- 2011 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 19(supp1)
- 2012 Information and Computation, 216, 95 pages
- 2012 Journal of Advanced Computational Intelligence and Intelligent Informatics, 16(1), 33 pages
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 29 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, 15, 16), MDAI (2011, 2012), Dictap 2011, Future Computing (2012, 2013, 2014, 2015, 2016)
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)