Difference between revisions of "Eric Violard"
| (23 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
=== Contact === | === Contact === | ||
| − | * Office : | + | * Office : B238 |
| − | * Phone : (+33) | + | * Phone : (+33) 06 51 79 63 00 |
| − | * E-mail : | + | * E-mail : violard@unistra.fr |
=== Research interests === | === Research interests === | ||
| Line 16: | Line 16: | ||
=== Research projects === | === Research projects === | ||
| − | + | My most recent works are about the following issues : | |
| − | * | + | * Languages for expressing parallelism |
| − | * | + | * Geometrical models to improve programs performance |
| − | * | + | * Design of efficient numerical methods |
=== Internship offers === | === Internship offers === | ||
| − | * Master 1 (TER) | + | * Master 1 (TER) |
| − | + | ||
| + | -- 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg) | ||
=== Publications === | === Publications === | ||
| − | (Some of) My papers can be downloaded from | + | (Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard] |
| − | |||
| − | |||
=== Teaching === | === Teaching === | ||
| − | * Teaching support | + | * Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg) |
| − | * Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD. | + | * Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD [http://www.dunod.com/informatique-multimedia/fondements-de-linformatique/algorithmes-modelidation-programmation-et-developpement/mini-manuel-]) |
| − | * Educational application (I designed a web application to experiment with lambda-calculus [http:// | + | * Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/]) |
Latest revision as of 15:30, 24 January 2024
I'm an assistant professor at the University of Strasbourg, France, associated with the ICPS group, the research team on parallel and scientific computing at ICube. I submitted my doctorate in 1992 at the University of Besançon and my "Habilitation à diriger les recherches" in 2003 at the University Louis Pasteur of Strasbourg.
Contact
- Office : B238
- Phone : (+33) 06 51 79 63 00
- E-mail : violard@unistra.fr
Research interests
My research work is concerned with foundations of parallel programming. I'm interested in formalizing, proving and mechanizing the static or dynamic code transformations that are used to tune programs to parallel architectures.
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics
Research projects
My most recent works are about the following issues :
- Languages for expressing parallelism
- Geometrical models to improve programs performance
- Design of efficient numerical methods
Internship offers
- Master 1 (TER)
-- 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg)
Publications
(Some of) My papers can be downloaded from the HAL archive : [1]
Teaching
- Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)
- Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD [2])
- Educational application (I designed a web application to experiment with lambda-calculus [3])