Vitae
Main research subjects and topics of interest
- computer arithmetic
- interval and multiple precision arithmetic
- global optimization (interval arithmetic) and its parallelization
- parallelization of irregular problems
Students
While in Lille, I worked with Benoît
Planquelle, former PhD student at LIFL and now computer scientist at the Rectorat de Lille,
Nicolas
Baeyens, former graduating student in Applied Math. at USTL and now
mathematics teacher,
Sébastien Czech, former graduating student in Computer Science at USTL.
I also worked on the parallelization of automatic speech recognition
with Yahya Ould Mohamed El Hadj, former PhD student at University
Mohamed 1st, Oujda, Morocco, co-directed with E.M. Daoudi,
within the framework of the European contract
INCO-Keep In Touch Development of Parallel Algorithms for Irregular
Problems. He is now Associate Professor at the
Al-Imam Muhammad Ibn Saud's University,
Riyadh, Kingdom of Saudi Arabia
Work on interval analysis and global optimization has been done with
-
Jean-Baptiste Verchay
for the implementation of Remes' algorithm using arbitrary-precision floating-point arithmetic,
(Master in Applied Mathematics and Computer Science, summer 2003),
-
Sylvain Chevillard
on the evaluation of the error and complementary error functions erf and erfc,
with correct rounding, using arbitrary-precision floating-point arithmetic
(3rd year in Computer Science, summer 2003),
-
Nathalie Dessart
on solving linear systems of equations with arbitrary-precision interval arithmetic
(Master in Computer Science, spring 2004),
-
Xavier Roche
on the comparison of existence theorems for the solution of nonlinear equations: Kantorovich, Miranda...
(3rd year in Computer Science, summer 2004).
Francisco José Cháves
has worked for his PhD thesis on the implementation and certification of Taylor models using the formal
proof assistant PVS. His supervisors were Marc Daumas
and myself.
This PhD thesis took place in the Mathlogaps framework, a multi-participant Early Stage Research Training Site in MATHematical LOGic and APplicationS (2004 - 2008).
Hong Diep Nguyen
has defended his PhD thesis (18 January 2011) under the supervision of Gilles Villard and myself.
David Pfannholzer
has started a PhD thesis end 2009 under the supervision of Florent de Dinechin and myself.
Philippe Théveny begins a PhD thesis in 2011 entitled "Numerical quality and high performance in scientific computing on emerging architectures", with problems originating mainly from linear algebra.
Collaborations
Other scientific activities
- Guest co-editor with Götz Alefeld of topical issues of Computing, related to the topics of SCAN 2010.
More information on these
publications here.
- member of the scientific committee of MACIS 2011:
Fourth International Conference on Mathematical Aspects of Computer and Information Sciences
Beijing, China, 19-21 October 2011.
- member of the scientific committee of NSV 2011: 4th International Workshop on
Numerical Software Verification
Cliff Lodge, Snowbird, Utah, USA, 14-20 July 2011.
- Chair of the program and organization committees of SCAN 2010: the 14th GAMM - IMACS International Symposium on
Scientific Computing, Computer Arithmetic and Validated Numerics
that took place in Lyon, France, 27-30 September 2010.
- member of the scientific committee of ICMS 2010: the Third
International Congress on Mathematical Software ,
Kobe, September 13 to 17, 2010
- member of the scientific committee of PASCO 2010: International Workshop
Parallel Symbolic Computation ,
Grenoble, France, 21-23 July 2010.
- member of the scientific committee of NSV-3: Third International Workshop on
Numerical Software Verification
Edinburgh, Scotland, UK, 15 July 2010.
- member of the scientific committee of the Fifth International Conference on
Computability and Complexity in Analysis
Hagen, Germany, 21-24 August 2008.
- member of the scientific committee of the SCAN symposia
(GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations).
- guest co-editor with Peter Hertling, Christoph M. Hoffmann and Wolfram Luther of a special issue
of Lecture Notes in Computer Science no 5045
on Reliable Implementation of Real Number Algorithms: Theory and Practice.
- member of the organizing committee of the
3rd MATHLOGAPS Workshop, 24-30 June 2007, Aussois, France.
- in charge on the "Computer Arithmetic" session at
Rencontres Arithmétique de l'Informatique Mathématique, 22-25 January 2007, Montpellier, France:
see the program here.
- co-organizer of the Dagstuhl seminar no 06021 on Reliable Implementation of Real Number Algorithms: Theory and Practice,
8-13 January 2006,
with P. Hertling (Univ. der Bundeswehr - Neubiberg, DE),
Ch. M. Hoffmann (Purdue Univ., US)
and W. Luther (Univ. Duisburg-Essen, DE).
- guest co-editor with Marc Daumas of a special issue
of Theoretical Computer Science
on Real Numbers and Computers.
- member of the organizing commitee of the
2004, Forum des Jeunes Mathématiciennes.
Mathématiques, Informatique et Sciences du Vivant, 30-31 January 2004, Institut Henri Poincaré, Paris, France.
- member of the organizing commitee of the
RNC'5 5th Conference on
Real Numbers and Computers, 3-5 September 2003, Lyon, France.
- guest co-editor of a
special issue (January 2004, volume 162, issue 1)
of the Journal of Computational and Applied Mathematics
on Linear Algebra and Arithmetic.
- member of the organizing committee of the
International Conference on Numerical Algorithms
dedicated to Claude Brezinski on the occasion of his 60th birthday,
held in Marrakesh, Morocco, 1-5 October 2001.
- member of the scientific committee of the congress
Algèbre Linéaire et Arithmétique
held in Rabat, Morocco, from the 28th to the 31st of May, 2001.
- involved in the celebration of the World mathematical year 2000 in Lille,
for instance through an
introductory paper
on numerical analysis (in french).
- member of the scientific committee of the
Troisième séminaire sur l'algorithmique numérique
appliquée aux problèmes industriels - Matrices creuses
et équations différentielles
held in Rennes the 11th and 12th of March, 1999.
- member of the program committee of the
Third Real Numbers and Computers Conference
held in Paris the 27th, 28th and 29th of April, 1998.
- organization of the second seminar
Techniques Nouvelles de Traitement des Matrices Creuses pour les Problèmes
Industriels held in Lille the 28th and 29th of April, 1997
(in french).
Teaching duties
- Master class on Algorithms for verified linear algebra,
with Claude-Pierre Jeannerod
and Nicolas Louvet,
in 2011-2012 at Master in Computer Science, École Normale Supérieure de Lyon.
Lecture notes and references here.
- Master class on Algèbre linéaire certifiée,
with Claude-Pierre Jeannerod
and Nicolas Louvet,
in 2009-2010 at Master in Computer Science, École Normale Supérieure de Lyon.
Lecture notes and references here.
- Master class on Validation en calcul scientifique / Validation for scientific computing
in 2006-2007 at Master in Computer Science, École Normale Supérieure de Lyon.
Lecture notes, references, planning etc here.
- In charge of the series of lectures entitled Applications of computer
science to research and technological development for PhD students,
in the École doctorale
de Mathématiques et Informatique Fondamentale de Lyon.
- With Gilles Villard,
we taught a course on
Algorithms and arithmetics
in the École doctorale
de Mathématiques et Informatique Fondamentale de Lyon
(DEA Informatique Fondamentale and DEA Analyse Numérique),
2001-2003.
- I was previously
Maître de Conférences
(associate professor)
USTL, Université de Lille (1995-2002)
and my teaching covered the following topics:
- Operational Research (MIAGE -adult class- and IUP Génie Math. et Informatique)
- Numerical Computations (Maîtrise Informatique)
- Scientific Computations (Maîtrise Ingénierie Mathématique)
- Symbolic and Numerical Computations (Préparation Agrégation de Mathématiques)
- Discrete Optimization (DESS ISN)
- Introduction to Matlab and Maple (DEA Mathématiques)
- Programming with Ada, beginners and advanced classes (DEUG MIA2)
- Mathematics for biologists (DEUG SV, adult class)
- I have been ``moniteur'' (1990-1993) and then ``ATER'' (1993-1995) at
ENSIMAG and I taught there:
- Scientific Programming (2nd year)
- Projects in Scientific Computing: ODE and Matrix Computations (2nd year)
- ODE exercise classes (2nd year)
- Numerical Algorithms (1st year)
- Dynamical Systems (week for teachers of ``mathématiques spéciales''):
lecture notes (in french)
- Computer Algebra (week for teachers of ``mathématiques spéciales''):
lecture notes (in french)
Miscellaneous
Go to Page Arenaire
Go to Page LIP
Go to Page INRIA Rhône-Alpes
Go to Page ANO
Go to Page USTL
