Stef Graillat

Maître de conférences en informatique à l'Université Pierre et Marie Curie (Paris 6)

Adresse postale
Université Pierre et Marie Curie (Paris 6)
Laboratoire d'Informatique de Paris 6 (LIP6)
Boîte courrier 169
4, place Jussieu
F-75252 Paris Cedex 05
France

Adresse physique
Département Calcul Scientifique, équipe PEQUAN
Laboratoire d'Informatique de Paris 6 (UMR CNRS 7606) (LIP6)
104, avenue du président Kennedy
F-75016 Paris
France

Courriel : stef.graillat @ lip6.fr
Bureau : Bureau 701, 7e étage
Téléphone : +33 (0)1 44 27 87 73
Fax : +33 (0)1 44 27 53 53
Url : http://www-pequan.lip6.fr/~graillat

Élément de curriculum vitæ

Actualités

Nouveau cours en M1 : Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et Matlab (MODEL)
Sujets de stage de Master 2 Recherche pour l'année 2009-2010 (me contacter si vous êtes intéressés)
- Pseudozéros validés de polynômes en précision finie
- Conception et implantation d'une arithmétique stochastique multiprécision

Domaines de recherche

Arithmétique des ordinateurs, arithmétique d'intervalles
Qualité numérique des logiciels scientifiques, analyse d'erreurs
Algèbre linéaire numérique, algorithmique numérique
Calcul formel, algèbre polynomiale numérique

Recherche

(avec Siegfried M. Rump) Verified error bounds for multiple roots of systems of nonlinear equations
À paraître dans Numerical Algorithms, 2010

Publications
Projets de recherche
Étudiants

Enseignement 2009-2010

Premier semestre

LI101 : Programmation récursive
MODEL : Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et Matlab
CINAP : Validation numérique pour le calcul parallèle haute performance

Second semestre

LI115 : Initiation à la programmation impérative en C
LI217 : Calcul Scientifique
LI325 : Conception d'algorithmes et applications

Cours des années antérieures

Divers

Organisation avec Nicolas Louvet des Journées Arinews à Perpignan, 28-29 novembre 2005
Organisation avec Philippe Langlois des Journées Arinews à Perpignan, 5-6 novembre 2002
Organisation avec Matthieu Gendulphe des journées 4^e année de l'ÉNS de Cachan, antenne de Bretagne du 7 mai 2003
Développements pour l'agrégation de mathématiques
Annuaire des promotions 99 (1^re année) et 01 (3^e année) Math-Info de l'ÉNS de Cachan, antenne de Bretagne
Société des agrégés de l'université
Association des anciens élèves et des élèves de l'ENSET et de l'ENS de Cachan
Association des anciens élèves de l'ENSIMAG
Association des ingénieurs de l'INPG

Les conférences et écoles auxquelles j'ai assisté

29^e École de Printemps d'Informatique Théorique: Arithmétique des ordinateurs, Prapoutel-Les-Sept-Laux, 26 - 30 mars 2001
Rencontre mathématique : « La mesure de Lebesgue a 100 ans !!! », 27-28 avril 2001, ÉNS Lyon
SCAN 2002, 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Paris France, September 24 - 27, 2002
Journées Arinews à Perpignan, 5-6 novembre 2002
Journées Liens Calcul Numérique-Calcul Formel, 4-6 décembre 2002, Toulouse
École thématique du CNRS, Adéquation algorithmes et arithmétique, Dijon, du 24 au 28 mars 2003
École Jeunes Chercheurs en Algorithmique et Calcul Formel, Marne-la-Vallée du 31 mars au 4 avril 2003
RNC5, Fifth Conference on Real Numbers and Computers, Lyon Sept. 3-5, 2003
Journées Arinews, Lyon, 17-18 novembre 2003
New Frontiers in Computational Mathematics, Chancellors Hotel and Conference Centre, University of Manchester, January 10-11, 2004
École Jeunes Chercheurs en Algorithmique et Calcul Formel, Grenoble, 29 mars - 2 avril 2004
Journées Arinews Printemps, Paris, 25-26 mai 2004
MTNS 2004, Sixteenth International Symposium on Mathematical Theory of Networks and Systems, Katholieke Universiteit Leuven, Belgium, July 5-9, 2004
XXII School of Computational Mathematics, Numerical Linear Algebra and its Applications, Monopoli, Bari, Italy, September 12-19, 2004
SYNASC 2004, 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timişoara, Romania, September 26 - 30, 2004
RNC6, 6th Conference on Real Numbers and Computers, November 15-17, 2004, Schloss Dagstuhl, Germany
Pseudospectra and Structural Dynamics, University of Bristol, December 13-15, 2004
Groupe de travail Méthodes Ensemblistes pour l'Automatique du GDR MACS, ENSAM, Paris, 3 février 2005
Journées Arinews, Lyon, 7-8 mars 2005
École Jeunes Chercheurs en Algorithmique et Calcul Formel 2005, Montpellier, du 4 au 8 avril 2005
FoCM 2005, Foundations of Computational Mathematics, University of Cantabria, Santander, Spain, 30 June - 9 July 2005
CASC 2005, The 8th International Workshop on Computer Algebra in Scientific Computing, Kalamata, Greece, September 12-16, 2005
Algebraic and Numerical Algorithms and Computer-assisted Proofs, Dagstuhl Seminar, Germany, September 25-30, 2005
RWCA 2006, 10th Rhine Workshop on Computer Algebra, Basel, Switzerland, March 16-17, 2006
SAC 2006, The 21st Annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
ICNAAM 2006, International Conference of Numerical Analysis and Applied Mathematics 2006, Hotel Belvedere Imperial, Hersonnisos, Crete, Greece, September 15-19, 2006
SCAN 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Duisburg, Germany, September 26-29, 2006
Rencontres Arithmétique de l'Informatique Mathématique, Montpellier, 22-25 janvier 2007
NOLTA 2007, International Symposium on Nonlinear Theory and its Applications, Simon Fraser University, Vancouver, Canada, September 16-19, 2007
REC'08, Third International Worskhop on Reliable Engineering Computing, Savannah, Georgia, USA, February 20-22, 2008
RAIM 2008, Rencontres Arithmétique de l'Informatique Mathématique, Lille, 3-5 Juin 2008
RNC8, 8th Conference on Real Numbers and Computers, Santiago de Compostela, Spain, July 7-9, 2008 (photos)
SCAN 2008, 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, El Paso, Texas, USA, September 29 - October 3, 2008
Young Investigators Symposium, Oak Ridge National Laboratory, Tennessee, USA, October 13-15, 2008
Journées "Informatique Massivement Multiprocesseur et Multicoeur", Rocquencourt, 4-5 février 2009
JCMM09, Journée "Jeunes Chercheurs sur les Multiprocesseurs et Multicoeurs", Paris, 4 Juin 2009
ISSAC 2009, The 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, Korea, July 28-31, 2009
RAIM'09, 3èmes Rencontres "Arithmétique de l'Informatique Mathématique", LIP, ENS Lyon, 26-28 octobre 2009
Computer-assisted proofs - tools, methods and applications, Dagstuhl Seminar, Germany, November 15-20, 2009

À voir

- GDR ASR
- GDR Informatique Mathématique
- GDR MACS
- Groupe de travail sur les Méthodes Ensemblistes pour l'Automatique
- Groupe de travail Arithmétique
- Groupe de travail Calcul Formel

SODA 2010, 21st Annual ACM-SIAM Symposium on Discrete Algorithms, Austin, Texas, USA, January 17-19, 2010
REC 2010, 4th Workshop on Reliable Engineering Computing "Robust Design - Coping with Hazards, Risk and Uncertainty", Singapore, March 3-5, 2010
STACS 2010, 27th International Symposium on Theoretical Aspects of Computer Science, Nancy, France, March 4-6, 2010
SANUM 2010, South African Symposium on Numerical and Applied Mathematics, University of Stellenbosch, South Africa, March 15-17, 2010
SAC 2010, The 25th Annual ACM Symposium on Applied Computing, Switzerland, March 22-26, 2010
CASA'2010, Eighth International Workshop on Computer Algebra Systems and Their Applications, Kyushu Sangyo University, Fukuoka, Japan, March 23-26, 2010
Eleventh Copper Mountain Conference on Iterative Methods, Copper Moutain, Colorado, USA, April 4-9, 2010
JNCF 2010, Journées Nationales de Calcul Formel, CIRM, Luminy, 3-7 mai, 2010
PARA 2010, Conference on state of the Art in Scientific and Parallel Computing, University of Iceland, Reykjavik, Iceland, June 6-9, 2010
Gene Golub SIAM Summer School 2010, International Summer School on Numerical Linear Algebra,Hotel Sierra Silvana, Selva di Fasano, Brindisi, Italy, June 7-18, 2010
16th ILAS Conference, Pisa, Italy, June 21-25, 2010
VECPAR'10, 9th International Meeting High Performance Computing for Computational Science, Berkeley, CA, USA, June 22-25, 2010
ACA 2010, Applications of Computer Algebra, Vlora, Albania, June 24-27, 2010
IWASEP 8, 8th International Workshop on Accurate Solution of Eigenvalue Problems Berlin, June 28 - July 1, 2010
PARCA 2010, International Conference on Parallel Computer Algebra, Tambov State University, Tambov, Russia, June 29 - July 3, 2010
PMAA'10, 6th International Workshop on Parallel Matrix Algorithms and Applications, University of Basel, Switzerland, June 30 - July 02, 2010
NSV-3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
PASCO 2010, International Workshop on Parallel symbolic Computation, Grenoble, July 21-23, 2010
ISSAC 2010, 35th International Symposium on Symbolic and Algebraic Computation, Munich, Germany. July 25-28, 2010
2nd IMA Conference on Numerical Linear Algebra and Optimisation, University of Birmingham, September 13-15, 2010
ICMS 2010, International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010
ICNAAM 2010, 8th International Conference of Numerical Analysis and Applied Mathematics, Island of Rhodes, Greece, September 19-25, 2010
SCAN 2010, 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Lyon, France, September 27-30, 2010
SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Berkeley, USA, November 17-19, 2010
Householder Symposium XVIII, Granlibakken Conference Center & Lodge, Tahoe City, California, USA, June 12-17, 2011
FoCM'11, Foundations of Computational Mathematics, Budapest, Hungary, July 4-14, 2011
ICIAM 2011, 7th International Congress on Industrial and Applied Mathematics, Vancouver, Canada, July 18-22, 2011
SCAN 2012, 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation, Novosibirsk, Russia, September 23-29, 2012

Stef Graillat
(Dernière modification : 2 février 2010)