Stef Graillat

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

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

Si vous êtes intéressés par un stage (L3,M1,M2) dans le domaine de l'arithmétique des ordinateurs, n'hésitez à me contacter; j'ai des sujets disponibles.

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 Pierre Fortin et Mourad Gouicem) GPU-accelerated generation of correctly-rounded elementary functions
Rapport de recherche, hal-00751446, juin 2013
(avec Hao Jiang et Roberto Barrio) Accurate and Fast Evaluation of Elementary Symmetric Functions
Proceeding of the 21st IEEE Symposium on Computer Arithmetic, Austin, TX, USA, April 7-10, 2013, p.183-190
(avec Hao Jiang, Canbin Hu, Shengguo Lia, Xiangke Liao, Lizhi Cheng et Fang Su) Accurate evaluation of the k-th derivative of a polynomial
J. Comput. Appl. Math. 243 (2013), 28--47
(avec Valérie Ménissier-Morain) Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic
Information and Computation, 216 (2012), 57--71
Publications
Logiciels
Projets de recherche
Étudiants

Enseignement 2012-2013

Premier semestre

LI214 : Structures discrètes
MODEL : Modélisation et résolutions numérique et symbolique de problèmes via les logiciels Maple et Matlab
AROR : Arithmétique des ordinateurs

Second semestre

LI115 : Initiation à la programmation impérative en C
LI217 : Calcul Scientifique
LI336 : Introduction à la cryptologie

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
ARITH 21, 21st IEEE Symposium on Computer Arithmetic, April 7-10, 2013, AT&T Conference Center, Austin, Texas, USA

À 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

NLAA 2013, International Conference on Numerical Linear Algebra and its Applications, Guwahati, India, Jan. 15-18, 2013
ARITH 21, 21st IEEE Symposium on Computer Arithmetic, April 7-10, 2013, AT&T Conference Center, Austin, Texas, USA
JNCF 2013, Journées Nationales de Calcul Formel, Luminy, 13-17 mai 2013
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
ILAS 2013, International Linear Algebra Society, Providence, Rhode Island, USA, June 3-7, 2013
MEGA 2013, Effective Methods in Algebraic Geometry, Frankfurt, Germany, June 3-7, 2013
25th Biennial Conference on Numerical Analysis, University of Strathclyde, Glasgow, June 25-28, 2013
ISSAC 2013, International Symposium on Symbolic and Algebraic Computation Boston, USA, June 26-29, 2013
The 4th International Conference on Matrix Analysis and Applications, Konya, Turkey, July 2-5, 2013
AAG 2013, SIAM Conference on Applied Algebraic Geometry, Colorado State University, Fort Collins, Colorado, USA, August 1-4, 2013
CASC 2013, 15th International Workshop in Computer Algebra in Scientific Computing, Berlin, Germany, September 9-13, 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)