Journées Rust 2022
Descriptif
Informations et programme sur https://calcul.math.cnrs.fr/2022-05-journees-rust.html
Vidéos
Intégration Rust-Jupyter, tracés graphiques, Serde
Exécuter du code Rust depuis un notebook Jupyter, tracer des graphiques, manipuler des formats de données avec Serde.
Philosophie générale du langage Rust
Une présentation générale du langage Rust avec ses particularités.
Ownership et borrowing dans Rust
Une exploration de la sémantique du move en Rust
Rust : comparaison avec les autres langages, généricité
Pascal Havé compare Rust aux autres langages et donne des pistes pour écrire du code Rust générique.
Environnement de développement et bases de la syntaxe en Rust
Une présentation de l'environnement Rust (cargo) et de la syntaxe du langage
Rust pour un code de calcul
Un exemple d'utilisation de Rust pour dans code de calcul résolvant l'équation des ondes.
Intervenants et intervenantes
Titulaire d'un doctorat en Informatique (Lyon 1, 2002)
Maître ce Conférences INSA Lyon en 2024
Directeur de thèse Préparée au Laboratoire d'Informatique en Image et Systèmes d'information (LIRIS), et soutenue à l’INSA de Lyon (en 2024)
Auteur d'une thèse de doctorat en Mathématiques Appliquées soutenue en 2004 à l'Université de Paris 6
Enseignant-chercheur à l'ISITV, Institut des Sciences de l'Ingénieur de Toulon et du Var (ISITV) en 2007
Professeur en poste à l'Université de Strasbourg - Institut de Recherche Mathématique Avancée (IRMA), depuis 2006.