Jean-Guillaume Dumas
Research Software Teaching
Jean-Guillaume Dumas
Jean-Guillaume--POINT--Dumas--AT--imag--POINT--fr 04 76 51 48 66 04 76 63 12 63 Jean-Guillaume Dumas
Jean-Guillaume Dumas
Maître de Conférences en Mathématiques Appliquées
 
UJF
Jean-Guillaume Dumas
Jean-Guillaume Dumas
Recherches : Algorithmique formelle et numérique
(algèbre linéaire exacte, systèmes dynamiques hybrides, modélisation orientée objet, cryptologie, parallélisme...)
   Publications    : Liste complète, Curriculum vitæ, conférences, posters et exposés, co-auteurs.
   Collaborations  : Jean Della Dora, Dominique Duval, Laurent Fousse, Pascal Giorgi, Thierry Gautier, Jean-Louis Roch, B. David Saunders, Gilles Villard. Aude Rondepierre, Clément Pernet, Anna Urbańska, Brice Boyer.
   Laboratoires  : Laboratoire Jean Kuntzmann, Mathématiques Appliquées et Informatique : équipe CASYS ; Claude Shannon Institute ; Informatique et Distribution ; University of Delaware.
   Groupes  : Calcul Formel ; Codage et Cryptographie et Logique, Algèbre et Calcul au GDR Informatique Mathématique, ainsi que SMAI-MAIRCI et maths-entreprises.
Jean-Guillaume Dumas
Bibliothèques, logiciels, projets
Sparse Integer Matrix Collection SIMC: Sparse Integer Matrices Collection. SQUASH SQUASH : Analyse Qualitative des Systèmes Hybrides.
CalCel : Calcul Cellulaire
SHOC : Hybrid Optimal Control
FFLAS FFLAS : Finite field linear algebra subroutines.
AHA : Adaptive and Hybrid Algorithms. 		InCa InCa : Interfaces pour le Calcul Formel.
givaro Givaro : une bibliothèque C++ pour le Calcul Formel.
Palo Alto : arithmétique et cryptologie en architecture multi-coeurs. 		SimpHom Simplicial Homology : a (proposed) GAP share package.
Online Computing Server !
LinBox Project LinBox: a generic C++ interface for exact computational linear algebra.
M4RI: Linear algebra over F2. 		ANR HPAC ANR HPAC: High-Performance Algebraic Computations.
ROXANE: Reliable Open Software-Components for Algebraic and Numeric Efficiency.
LinBox Galet: Matrix multiplication schedule generator.
FFSpMV: sparse matrix-vector product over finite fields. 		LinBox BGPR SafeScale : Security And Fault-tolerance to Exploit Safety ambient Computing in lArge scaLe Environments.
SHIVA, Secured Hardware Immune Versatile Architecture.
Jean-Guillaume Dumas
Enseignements Polycopiés et Années précédentes
2011-2012 M1 MAI C++, Projets, Calcul Formel & Cryptographie, Mini Projets.
2011-2012 ENSIMAG Codes: cryptographie, compression, correction d'erreurs
2011-2012 M2P Cryptographie & Sécurité ; SAFE Public Key Infrastructures (PKI) ; Sécurité Web
2011-2012 M2R Mathématiques, Informatique et Applications Calcul Exact
Jean-Guillaume Dumas
Dernière mise à jour : Lundi 12 Décembre 2011
http://ljk.imag.fr/membres/Jean-Guillaume.Dumas
Jean-Guillaume Dumas