Professor of Computer Science at the Université of Perpignan Via Domitia
Surface mail address : Marc DAUMAS - ELIAUS-UPVD - 52, avenue Paul Alduy - 66860 Perpignan cedex - FRANCE
Phone : (+33) 4 68 66 21 25 - Fax : (+33) 4 68 66 22 87 - LinkedIn
My office (BN1-5) is located on the northern aisle of the second floor (1er étage) of the B building.
GnuPG fingerprint : BF80 0417 035B 0E00 A0BA AE9D BB5F 1F47 1730 491C
CA Cert fingerprint : 053A 096B 6B41 3FCB 4C7C 88AC 609E 59D2 A7B5 4639 (accréditeur)
Thawte fingerprint : DF8F A7B7 7171 8664 B823 D3BC 4ACB 73B BAC0 6BC9 (notaire)
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
1. By the numbers
| Books and chapters in books | 5 | |
| Journal articles | 17 | |
| Peer-reviewed articles in conference proceedings | 37 | plus 2 invitations |
| Other presentations | 35 | including 5 seminars in foreign countries |
| Reports | 42 | |
| Software | 6 | including FP2 distributed by NetLib |
| Scopus publications | 19 | with 40 citations (ID 6701507274) - h-graph |
| Web of knowledge publications | 22 | (ResearchID) |
| LIMSI h-index | 13 |
2. Recent publications / All publications
3. Selection of 5 recent journal publications
S. Boldo and 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 and D. Defour, Line-by-line spectroscopic simulations on graphics processing units, Computer Physics Communications (IF : 1.842), pp. 135-143, 178(2), 2008.
M. Daumas, D. Lester and 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 and 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), to appear
1. PhD
Advisor or co-advisor of C. Finot, S. Boldo, G. Melquiond, F. Cháves and S. Collange
Reviewer of Y. Dumonteix, D. Toma and R. Zumkeller
Member of the board of examiners of the former students and of S. Graillat, V. Holimath and J. Florez
Latest master thesis proposals (prospective students are welcome to enquire) : GPGPU, Probability, Coq
2. Editor
3. 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
2009 Technique et Science Informatiques
2009 Information and Computation
1. Groups
Chair of the Department of Mathematics and Computer Science
Chair of the Suréna joint research program between ELIAUS (UPVD) and LIRMM (UM2)
Member of the steering committee of UOH, UOMLR, ELIAUS and GDR ARP
Chair of AriNews and GSOC groups of the GDR ASR (formerly ARP)
Local chair of BioWIC and EVA-Flo projects of the ANR
Deputy treasurer of the AÉ-ÉNS alumni association
2. Conferences
General chair of Perpi’2006
Member of the steering committee of RNC, SympA and RenPar-SympA-CFSE
Chair or co-chair of the program committee of RNC’5, SympA’2005, SympA’2008 and RNC’8
Member of the program committee of IMACS-GAMM SCAN’97, IEEE ARITH 18, WAIFI, IEEE ICCD 2007, IEEE ICCD 2008, IEEE ARITH 19, HPPC 2009, CENICS 09 and IEEE ICCD 2009
Co-organizer of the First Challenge in the Forecast of Solar Power
3. Contracts
Aérospatiale with Jean-Michel Muller.
France-Berkeley Fund (UC Berkeley and Lawrence Berkeley Laboratory), with Jonathan Shewchuk.
PICS 2533 (CNRS-NASA) with the National Institut of Aerospace, also involving William Kahan (UC Berkeley) and Gilles Dowek (LIX)
Expert of 4 ANR projects since 2006
1. Lectures (Professors / Students timetables)
MySQL + Pears (M1)
MPI (M1)
The B Method (M1)
Operational research (M1)
Computer Arithmetic (M1)
2. Open Course Ware
Local server
Diffusion des savoirs (Université Ouverte Montpellier Languedoc-Roussillon)
