Clément Pernet - membres

Clément Pernet
INRIA-MOAIS, Université Joseph Fourier
Laboratoire d’Informatique de Grenoble
ENISMAG Antenne de Montbonnot ZIRST
51, ave Jean Kuntzmann
F-38330 MONTBONNOT SAINT MARTIN, France
tel: +33 (0)4 76 61 20 24
fax: +33 (0)4 76 61 20 99
[email protected]
http://membres-liglab.imag.fr/pernet
Né le 8 novembre 1980, Lons le Saunier, Jura, France
Nationalité française
S ITUATION ACTUELLE
Maître de conférence stagiaire en informatique à l’Université Grenoble 1, J. Fourier.
D OMAINE DE RECHERCHE
Algèbre linéaire, Calcul algébrique, Calcul parallèle, Sécurité et Tolérance aux pannes, Logiciel mathématique
F ORMATION
2003–2006
Thèse de math. appliquées,
U NIV. G RENOBLE 1, J. F OURIER
«Algèbre linéaire exacte efficace: le calcul du polynôme caractéristique». Direction: J-G. Dumas & D.
Duval. Jury: J Della-Dora, G. Villard, L. Giraud, J-G. Dumas, D. Duval, L. M. Pardo, J-L. Roch.
2002–2003
DEA de math. appliquées,
U NIV. G RENOBLE 1, J. F OURIER
«Calcul du polynôme caractéristique dans un corps fini». Direction : J-G. Dumas & B. D. Saunders.
2000–2003
Diplôme d’ingénieur en informatique et math. appliquées,
ENSIMAG-INP G RENOBLE
M OBILITÉ ET COLLABORATEURS
U. of Washington (WA, USA)
W. Stein, post-doctorat, 1 an.
U. of Waterloo (Canada) M. Giesbrecht, G. Labahn, A. Storjohann, post-doctorat, 1 an.
U. of Delaware (DE, USA) D. Saunders, Z. Wan, Stage de DEA, 4 mois.
U of Cantabria (Spain) C. Berltràn, L. M. Pardo, 2 stages de 3 mois.
E XPÉRIENCE D ’ ENSEIGNEMENT
2008
2003-2006
Acting Assistant Professor,
Mathematiques et calcul formel. .
D EPT OF M ATH , U NIV. OF WASHINGTON , USA,
Moniteur de mathématiques,
CIES DE G RENOBLE & U NIV. G RENOBLE 2, P. M ENDÈS -F RANCE ,
Mathematiques et statistiques pour les sciences-éco.. Tuteur: F. Truc.
E NCADREMENT
2009
T. Stalinski,
S TAGE DE M ASTER , G RENOBLE 1, M2P-SCCI
Algorithmes pour calculs pair à pair sur machines non sûres. .
AUTRES EXPÉRIENCES PROFESSIONNELLES
étés 2004-05
Chercheur en visite,
U NIV. DE C ANTABRIA (S ANTANDER , E SPAGNE )
Average distribution of the condition number of classes of structured matrices. Direction: L. M. Pardo.
Jui-Aou. 2002
Stage d’ingénieur,
X ILINX I NTERNATIONAL
ATPG based equivalence checking in boolean networks. Direction: F. Rocheteau.
Jui. 2001
Stage de recherche,
L AB . IMAG-ID, M ONTBONNOT, F RANCE
Fast matrix multiplication routines over a finite field. Direction: J-G. Dumas.
R ESPONSABILITÉS ADMINISTRATIVES
Référé pour ISSAC’04-05-06-07-08-09, EuroPar’09, Comm. in Comp. Algebra, Frontier in CS and TC’06
Membre du comité de programme d’ISSAC’09 et du comité de poster ISSAC’08
Organisation locale de ISSAC’07, Sage Days 9, EJCACF’04
Publications and scientific production
Revues avec comité de lecture
J-G. D UMAS , P. G IORGI ET C. P ERNET Nov. 2008,
Dense Linear Algebra over Finite Fields, Trans. on Mathematical Software, vol 35(3), 34 pages.
Actes de conférence avec comité de lecture
B. B OYER , J-G. D UMAS , C. P ERNET ET W. Z HOU . July 2009,
Memory efficient scheduling of Strassen-Winograd’s matrix multiplication algorithm, ISSAC’09, 8 pages.
J-G. D UMAS , C. P ERNET ET D. S AUNDERS . July 2009,
On Finding Multiplicities of Characteristic Polynomial Factors of Black-box Matrices, ISSAC’09, 8 pages.
C. P ERNET ET A. S TORJOHANN . July 2007,
Faster Algorithms for the Characteristic Polynomial, ISSAC’07, 8 pages.
J-G. D UMAS , C. P ERNET ET Z. WAN . June. 2005,
Efficient Computation of the Characteristic Polynomial, ISSAC’05, 8 pages.
J-G. D UMAS , P. G IORGI ET C. P ERNET. June. 2004,
FFPACK: Finite Field Linear Algebra Package, ISSAC’04, 8 pages.
J-G. D UMAS , T. G AUTIER ET C. P ERNET. June. 2002,
Finite Field Linear Algebra Subroutines, ISSAC’02, 12 pages.
Publications dans des actes de conférence
J-G. D UMAS , C. P ERNET ET J-L. ROCH . 2005,
Adaptive Triangular System Solving, Challenges in Symbolic Computation Software, Dagstuhl Seminar, 18 pages.
Rapports techniques
C. P ERNET, A. RONDEPIERRE ET G. V ILLARD . Oct. 2005,
Computing the Kalman Form, Tech. report, arXiv cs.SC/0510014, 10 pages.
C. P ERNET Sept. 2001,
Implementation of Winograd’s Algorithm over Finite Fields using Atlas level 3 BLAS, Tech. report, laboratoire ID-IMAG,
23 pages.
Posters
C. P ERNET ET Z. WAN . June 2006,
LU Based Algorithms for the Characteristic Polynomial over a Finite Field, ISSAC 2003.
M. B RASSEL , C. P ERNET ET P. G IORGI . Avr. 2003,
LUDivine : A Symbolic Block LU Factorisation of Matrices over a Finite Field using BLAS, East Coast Computer Algebra
Day, Clemson.
Présentations orales
The LinBox library,
Combinatorial and Algebraic Topology Workshop, Sandia Labs, Santa Fe, NM, USA, Aug. 2009.
Computing exactly with unsafe resources: fault tolerant exact linear algebra and cloud computing ,
Sage Days 16, Universitat Politècnica de Catalunya, Barcelona, Spain, Juin 2009.
Design perspectives for exact linear algebra libraries,
Number Theory and computation seminar, U. of Washington, Seattle, WA, USA, Nov.2008.
Efficient Exact Linear Algebra over GPU,
Sage Days 9, Simon Fraser University, Burnaby, Canada, Aug. 2008.
What can you compute exactly whith floating point linear algebra,
Sage Seminar, University of Washington, Dept. of Mathematics, Jan. 2008.
Algèbre linéaire dense dans des petits corps finis: théorie et pratique,
Séminaire CACAO, INRIA-LORIA, Nancy, France, Nov. 2007.
Algèbre linéaire dense dans des petits corps finis: théorie et pratique,
Groupe de travail ARENAIRE, LIP-ENS, Lyon, France, Nov. 2007.
Fast exact linear algebra: LinBox,
SAGE Days 6, Universty of Bristol, United Kingdom, Nov. 2007. invited plennary speaker.
Matrix multiplication based computations of the characteristic polynomial,
Seminar at the University of Calgary, Canada, Oct. 2007.
Recent advances in exact linear algebra,
Seminar of Algorithms and Complexity, University of Toronto, dept. of Mathematics. Toronto, Canada, Oct. 2007.
Matrix multiplication based linear algebra: how asymptotic and practical efficency meet,
SAGE Days 3, Los Angeles, USA, Feb. 2007. Invited plennary speaker.
Matrix multiplication based computations of the characteristic polynomial,
ORCCA Joint lab meeting, London, Canada, Feb. 2007.
Parallel perspectives for the LinBox library,
Interarctive Parallel Computations, Berkeley, USA, Jan. 2007.
Algorithmique Dense pour le Calcul du Polynôme Caractéristique,
Journées Nationales du Calcul Formel, Luminy, France, Nov. 2005.
Calcul du Polynôme Caractéristique sur des Corps Finis,
École Jeunes Chercheurs en Algorithmique et Calcul Formel, Grenoble, France, Avr. 2004.
Étude de la Distribution du Conditionnement de Classes de Matrices Complexes,
Réunion de rentrée du Laboratoire de Modélisation et Calcul, Grenoble, France, Sept. 2004.
Algorithmes Probabilistes : Application en Cryptographie et en Algèbre Linéaire,
Seminaire compréhensible commun Institut Fourier - Laboratoire de Modélisation et Calcul, Grenoble, France, Jan. 2003.
Développement logiciel
FFLAS-FFPACK: Bibliothèque LGPL en C++, de routines de base en algèbre linéaire dense dans un corps fini.
Développeur et mainteneur principal.
M4RI: Bibliothèque GPL en C, d’algèbre linéaire dans GF (2): Contributeur.
LinBox: Bibliothèque LGPL en C++, pour l’algèbre linéaire exacte avec des matrices denses, creuses ou boîte noire.
Développeur et mainteneur.
Sage: Plateforme open-source Python / C de mathématiques et de calcul.
Intégration de LinBox et algèbre linéaire.