Stef Graillat

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

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

Courriel : stef.graillat @ upmc.fr
Bureau : Tour 26-00, 3e étage, bureau 322
Téléphone : +33 (0)1 44 27 87 73
Fax : +33 (0)1 44 27 75 41
Url : http://www-pequan.lip6.fr/~graillat

Élément de curriculum vitæ

Actualités

Je suis actuellement en détachement jusqu'au 31 octobre 2012

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
Calcul scientifique haute performance, calcul intensif

Recherche

(avec Valérie Ménissier-Morain) Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
À paraître dans Information and Computation, 2012
(avec Fabienne Jézéquel, Shiyue Wang et Yuxiang Zhu) Stochastic Arithmetic in Multiprecision
Math.Comput.Sci. 5 (2011), no. 4, 359--375

Publications
Projets de recherche
Étudiants

Enseignement 2011-2012

Premier semestre

AROR : Arithmétique des ordinateurs

Second semestre

Pas d'enseignement ce semestre

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
NSV-3, Third International Workshop on Numerical Software Verification, Edinburgh, UK, July 15th, 2010
SYNASC 2010, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, September 23-26, 2010
SCAN 2010, 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Lyon, France, September 27-30, 2010
RAIM'11, 4èmes Rencontres "Arithmétique de l'Informatique Mathématique", Perpignan, France, 7-10 février 2011
CRC 2011, International Workshop on Certified and Reliable Computation, Nan Ning, Guang Xi, China, July 17-20, 2011
JSIAM Meeting 2011, Doshisha University, Kyoto, Japan, September 14-16, 2011

À 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
- Groupe de travail Codage et Cryptographie

JNCF 2011, Journées Nationales de Calcul Formel, Luminy, 14-18 novembre 2011
FOCS 2011, 52nd Annual IEEE Symposium on Foundations of Computer Science, Palm Springs, California, October 23-25, 2011
Hybrid 2011, Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Waterloo, Ontario, Canada, November 16-19, 2011
SODA 2012, Annual ACM-SIAM Symposium on Discrete Algorithms, Kyoto, Japan, January 17-19, 2012
PP 2012, SIAM Conference on Parallel Processing for Scientific Computing, Savannah, Georgia, USA, February 15-17, 2012
PDP 2012, Special Session on GPU Computing and Hybrid Computing, Garching, Germany, February 15-17, 2012
STACS 2012, Symposium on Theoretical Aspects of Computer Science, Paris, France, Feb 29th-March 3rd, 2012
SAC 2012, 27th Symposium On Applied Computing, Riva del Garda (Trento), Italy, March 25-29, 2012
SWIM'2012, 5th Small Workshop on Interval Methods, Oldenburg, Germany, June 11-15, 2012
REC'2012, 5th International Workshop on Reliable Engineering Computing, Brno, Czech Republic, June 13-15, 2012
EACA 2012, XIII Spanish Conference on Computer Algebra and Applications, Madrid, Spain, June 13-15, 2012
SIAM Conference on Applied Linear Algebra, Valencia, Spain, June 18-22, 2012
AN12, SIAM Annual Meeting, Minneapolis, Minnesota, USA, July 9-13, 2012
VECPAR 2012, 10th International Meeting on High-Performance Computing for Computational Science, RIKEN Advanced Institute for Computational Science (AICS), Kobe, Japan, July 17-20, 2012
ISSAC 2012, 37th International Symposium on Symbolic and Algebraic Computation, Grenoble, France, July 22-25, 2012
GrC'2012, International Conference on Granular Computing, Hangzhou, China, August 11-13, 2012
SCAN 2012, 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation, Novosibirsk, Russia, September 23-29, 2012
ALGORITMY 2012, Conference on Scientific Computing, Podbanske, High Tatra Mountains, Slovakia, September 9-14, 2012
Eigth International Linear Algebra Society Conference, Providence, RI, USA, June 3-7, 2013
Precond 2013, The 8th International Conference on Preconditioning Techniques, St. Anne's College, Oxford, UK, June 19-21, 2013
Householder Symposium XIX on Numerical Linear Algebra, Spa, Belgium, June 8-13, 2014
Ninth International Linear Algebra Society Conference, Suwon, South Korea, August 6-9, 2014
SCAN 2014, 16th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation, Wuerzburg, Germany, last week of September, 2014

Stef Graillat
(Dernière modification : 1 novembre 2011)