Jean-Guillaume Dumas
Research Publications Software Teaching
Jean-Guillaume Dumas
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
Professeur
Mathématiques Appliquées
Université
	      Grenoble Alpes IM2AG UGA
Jean-Guillaume Dumas
Recherches : Algorithmique formelle et numérique
(algèbre linéaire exacte, cryptologie et codes, parallélisme, modélisation orientée objet, systèmes symboliques-numériques ...)
   Publications    : Liste complète, Curriculum vitæ, conférences, posters et exposés, co-auteurs.
   Collaborations  : Dominique Duval, Laurent Fousse, Thierry Gautier, Pascal Giorgi, Erich Kaltofen, Jean-Louis Roch, B. David Saunders, Gilles Villard. Aude Rondepierre, Clément Pernet, Anna Urbańska, Brice Boyer, Ziad Sultan, Burak Ekici, Jean-Baptiste Orfila, Thomas Camus ...
   Laboratoires  : Laboratoire Jean Kuntzmann, Mathématiques Appliquées et Informatique : équipe CASYS ; SCCyPhy ; INRIA QOLAPS ; Claude Shannon Institute ; Informatique et Distribution ; University of Delaware.
   Groupes  : Calcul Formel ; ACM SIGSAM ; 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 CoqEffects : Proving properties of programs involving computational effects.
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.
OpenDreamKit: Open Digital Research Environment Toolkit for the Advancement of Mathematics.
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.
ARAMIS, Architecture Robuste pour les Automates et Matériels des Infrastructures Sensibles.
Jean-Guillaume Dumas
Enseignements Polycopiés et Années précédentes
2015-2016 Mater of Science in Informatics at Grenoble (M1 MOSIG) Introduction to Cryptology and Coding
2015-2016 ENSIMAG Codes: cryptographie, compression, correction d'erreurs
2015-2016 Cryptographie & Sécurité (M2 SCCI) ; SAFE Public Key Infrastructures (PKI) ; Sécurité Web
2015-2016 Master of Science in Industrial and Applied Mathematics (M2 MSIAM) High-performance exact computations
Jean-Guillaume Dumas
Dernière mise à jour : Mercredi 24 Février 2016
http://ljk.imag.fr/membres/Jean-Guillaume.Dumas
Jean-Guillaume Dumas