https://icps.icube.unistra.fr/api.php?action=feedcontributions&user=Violard&feedformat=atomÉquipe ICPS - Informatique et Calcul Parallèle Scientifique - User contributions [en]2024-03-28T12:11:52ZUser contributionsMediaWiki 1.35.8https://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=676Eric Violard2024-01-24T13:30:05Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve programs performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) <br />
<br />
-- 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg)<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=675Eric Violard2024-01-24T13:29:49Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve programs performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) <br />
<br />
- 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg)<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=674Eric Violard2024-01-24T13:29:31Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve programs performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) <br />
<br />
1) 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg)<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=673Eric Violard2024-01-24T13:29:16Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve programs performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) <br />
<br />
** 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg)<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=672Eric Violard2024-01-24T13:28:38Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve programs performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) <br />
<br />
- 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg)<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=671Eric Violard2024-01-24T13:28:28Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve programs performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) <br />
<br />
- 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg)<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=670Eric Violard2024-01-24T13:18:57Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve programs performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) <br />
<br />
. 2023-2024 "Appels récursifs vs. accès tableau" (for students of the University of Strasbourg)<br />
<br />
[[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=669Eric Violard2024-01-24T13:14:29Z<p>Violard: /* Research projects */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve programs performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=668Eric Violard2024-01-24T13:14:07Z<p>Violard: /* Research projects */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Geometrical models to improve program performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=667Eric Violard2024-01-24T13:13:49Z<p>Violard: /* Research projects */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Using geometrical models to improve program performance<br />
* Design of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=666Eric Violard2024-01-24T13:12:43Z<p>Violard: /* Research projects */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Using geometrical models to improve program performance<br />
* Designing of efficient numerical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=665Eric Violard2024-01-24T13:11:53Z<p>Violard: /* Research projects */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Using geometrical models to improve program performance<br />
* Designing efficient mathematical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=664Eric Violard2024-01-24T13:11:20Z<p>Violard: /* Research projects */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Using geometrical model to improve program performance<br />
* Designing efficient mathematical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=663Eric Violard2024-01-24T13:11:01Z<p>Violard: /* Research projects */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
My most recent works are about the following issues :<br />
<br />
* Languages for expressing parallelism<br />
* Using geometrical model to improve program performance<br />
* Designing efficient mathematical methods<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=662Eric Violard2024-01-24T12:33:46Z<p>Violard: /* Publications */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [https://inria.hal.science/search/index?q=violard]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=661Eric Violard2024-01-24T12:32:47Z<p>Violard: /* Publications */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=660Eric Violard2024-01-24T12:32:29Z<p>Violard: /* Publications */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=659Eric Violard2024-01-24T12:32:06Z<p>Violard: /* Teaching */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support (These documents are on the educational Moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=658Eric Violard2024-01-24T12:29:55Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=657Eric Violard2024-01-24T12:27:55Z<p>Violard: /* Contact */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B238<br />
* Phone : (+33) 06 51 79 63 00<br />
* E-mail : violard@unistra.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=656People2023-10-09T15:53:20Z<p>Violard: /* Permanent Members */</p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
<br />
Image: berenger-bramas.png |'''[http://berenger.eu Bérenger Bramas]'''<br />Research scientist (CR)<br />[https://hal.inria.fr/search/index/?q=%2A&authFullName_s=B%C3%A9renger+Bramas Publications]<br/>Office: B230<br /> [mailto:berenger.bramas_@_inria.fr @]<br />
<br />
Image:Arthur.jpg |'''[http://chargueraud.org Arthur Charguéraud]'''<br />Inria Researcher<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=charguéraud&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B226<br />(+33)368854537 [mailto:arthur.chargueraud@inria.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[[Philippe Clauss]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />Publications [https://publis.icube.unistra.fr/?author=genaud&allaut=or#hideMenu @papr][https://inria.hal.science/search/index/?q=stéphane+genaud&rows=30&sort=producedDate_tdate+desc&authFullName_s=Stéphane+Genaud @HAL]<br/>Office: B230<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
Image:jens-gustedt.jpg|'''[[Jens Gustedt]]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B231<br /><br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B231<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/~loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Photo_ERIC3.png|'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B232<br />(+33)368854552 [mailto:violard@unistra.fr @]<br />
<br />
</gallery><br />
<br />
== Engineers and Postdocs ==<br />
<br />
<gallery><br />
<br />
Image Marek.jpg | '''[https://felsoci.sk Marek Felšöci]'''<br /><br />
Post-Doc <br /><br />
[https://inria.hal.science/search/index?q=Marek+Felšöci Publications]<br />
<br />
Image:4X4 Ndamlabin.png | '''[https://icps.icube.unistra.fr/index.php/Etienne_Ndamlabin Etienne Ndamlabin]'''<br /><br />
Post-Doc <br /><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=ndamlabin&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image: Guillaume Bertholon.jpg | '''[http://icube-icps.unistra.fr/index.php/Guillaume_Bertholon Guillaume Bertholon]'''<br />PhD candidate 2022-<br />Office B232<br/>[mailto:guillaume.bertholon_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=bertholon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Rc.png | '''[https://icps.icube.unistra.fr/index.php/Raphael_Colin Raphaël Colin]'''<br />PhD candidate 2023-<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=colin&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Cflint.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Flint Clément Flint]'''<br />PhD candidate<br /> Office B233<br/>[mailto:clement.flint_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=flint&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Clement rossetti.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Rossetti Clément Rossetti]'''<br />PhD candidate 2022-<br /> Office B232<br/>[mailto:clement.rossetti_@_inria.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=rossetti&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Souris.jpg | '''[http://icube-icps.unistra.fr/index.php/Anastasios_Souris Anastasios Souris]'''<br />PhD candidate 2021-<br /> Office B225<br/> +(33) 0638451736 [mailto:anastasios.souris_@_inria.fr @]<br/><br />
http://icube-intranet.unistra.fr/papr/appli.php?author=souris&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Arun.jpg | '''[http://icube-icps.unistra.fr/index.php/Arun_Thangamani Arun Thangamani]'''<br />PhD candidate 2021-<br />Office B229</br/>[mailto:thangamani_@_unistra.fr @]</br><br />
<!--[http://icube-intranet.unistra.fr/papr/appli.php?author=thangamanit&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]-><br />
<br />
<br />
Image: Tayeb.jpg | '''[http://icube-icps.unistra.fr/index.php/Haifa_Tayeb Haifa Tayeb]'''<br />PhD candidate 2021-<br /> Office B225<br/> [mailto:haifa.tayeb_@_inria.fr @]<br/><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=tayebt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== On leave ==<br />
<br />
<gallery><br />
<br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor, on leave to Qualcomm<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<-- Office: B232<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @] --><br />
<br />
<br />
</gallery><br />
<br />
== Former members ==<br />
<br />
<gallery><br />
<br />
<br />
Image: yann.jpg | '''[https://www.barsamian.am/ Yann Barsamian]'''<br />PhD 2018, now Teacher at [https://barsamian.am École Européenne de Bruxelles]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=barsamian&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:luke.jpg | Luke Bertot<br />PhD 2019, now PostDoc at '''[https://nms.telecom-paristech.fr Télécom Paris''']. Previous PostDoc at INRIA Nancy<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bertot&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Icon-user.png | '''[https://www.linkedin.com/in/jean-fran%C3%A7ois-dollinger-90b97155/ Jean-François Dollinger]'''<br/>PhD 2015, now Associate Professor at [https://recherche.cesi.fr/cv-chercheurs/jean-francois-dollinger/ CESI]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Imen_Fassi.jpg | '''[https://www.linkedin.com/in/imenfassi Imen Fassi]'''<br>PhD 2015, now Software Engineer at Horizon Software, Rennes<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Godard_Paul_zoom.jpg | Paul Godard, <br />PhD 2019, now R&D Research Engineer at [http://www.caldera.com Caldera]<br/> [https://icube-publis.unistra.fr/appli.php?author=godard&allaut=or&team=5#hideMenu Publications]<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor, now [https://sage.unistra.fr/ SAGE]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
Image:Alexandra Jimborean.jpg| '''[https://webs.um.es/alexandra.jimborean/miwiki/doku.php Alexandra Jimborean]''' <br/> PhD 2012, now Researcher at University of Murcia, Spain <br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=jimborean&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Ttjost.jpg | '''[https://icps.icube.unistra.fr/index.php/Tiago_Trevisan_Jost Tiago Trevisan Jost]'''<br />Research Engineer<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=jost&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Salwa_Kobeissi.png | '''[http://icube-icps.unistra.fr/index.php/Salwa_Kobeissi Salwa Kobeissi]'''<br />PhD 2021<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=kobeissi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: juan.jpg | '''[https://www.linkedin.com/in/jmartinezcaamao Juan Manuel Martinez Caamano]'''<br />PhD 2016, now Research Engineer at AMD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=martinez&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Etienne_michon.jpg | '''[https://github.com/etiennem Etienne Michon]''' <br />PhD 2015, ATER, now Engineer at [http://www.scalingo.com Scalingo] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime_Mogé.png | Maxime Mogé<br />Research Engineer (INRIA),now HPC Advisor at [https://www.surf.nl/en Surf SARA, Amsterdam]<br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=mogé&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: harenome.jpg | '''[https://www.linkedin.com/in/harenome/ Harenome Razanajato]'''<br />PhD 2020, now Compiler Engineer at Huawei, Paris<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=razanajato&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/> [mailto:harenome.ranaivoarivony-razanajato@inria.fr @]<br />
<br />
Image: Mariem_Saied.jpg | Mariem Saied<br />PhD 2018, now Software Engineer at ING, Amsterdam<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image: Daniel_Format-photos.png | '''[https://www.linkedin.com/in/daniel-salas-982b74 Daniel Salas]'''<br />PhD 2019, now Research Engineer at [https://cisi.inserm.fr INSERM]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=salas&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime-Schmitt.jpg | Maxime Schmitt<br />PhD 2019, now Compiler Engineer at Qualcomm (formerly Reservoir Labs), USA<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=Maxime%20Schmitt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:Manuel_Selva.png | '''[https://manuelselva.pages.ensimag.fr Manuel Selva]'''<br />Post-Doc (INRIA), now Associate Professor at [http://www.grenoble-inp.fr/en Grenoble Institute of Technology] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=selva&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: aravind.jpg | '''[https://eecs.wsu.edu/~asukumar/ Aravind Sukumaran-Rajam]'''<br>PhD 2015, now Assistant Professor at [https://eecs.wsu.edu/~asukumar Washington State University, USA]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
</gallery></div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=655People2023-10-09T15:52:23Z<p>Violard: /* Permanent Members */</p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
<br />
Image: berenger-bramas.png |'''[http://berenger.eu Bérenger Bramas]'''<br />Research scientist (CR)<br />[https://hal.inria.fr/search/index/?q=%2A&authFullName_s=B%C3%A9renger+Bramas Publications]<br/>Office: B230<br /> [mailto:berenger.bramas_@_inria.fr @]<br />
<br />
Image:Arthur.jpg |'''[http://chargueraud.org Arthur Charguéraud]'''<br />Inria Researcher<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=charguéraud&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B226<br />(+33)368854537 [mailto:arthur.chargueraud@inria.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[[Philippe Clauss]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />Publications [https://publis.icube.unistra.fr/?author=genaud&allaut=or#hideMenu @papr][https://inria.hal.science/search/index/?q=stéphane+genaud&rows=30&sort=producedDate_tdate+desc&authFullName_s=Stéphane+Genaud @HAL]<br/>Office: B230<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
Image:jens-gustedt.jpg|'''[[Jens Gustedt]]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B231<br /><br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B231<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/~loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Photo_ERIC3.png|'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B232<br />(+33)368854552 [mailto:violard@unistra.fr]<br />
<br />
</gallery><br />
<br />
== Engineers and Postdocs ==<br />
<br />
<gallery><br />
<br />
Image Marek.jpg | '''[https://felsoci.sk Marek Felšöci]'''<br /><br />
Post-Doc <br /><br />
[https://inria.hal.science/search/index?q=Marek+Felšöci Publications]<br />
<br />
Image:4X4 Ndamlabin.png | '''[https://icps.icube.unistra.fr/index.php/Etienne_Ndamlabin Etienne Ndamlabin]'''<br /><br />
Post-Doc <br /><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=ndamlabin&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image: Guillaume Bertholon.jpg | '''[http://icube-icps.unistra.fr/index.php/Guillaume_Bertholon Guillaume Bertholon]'''<br />PhD candidate 2022-<br />Office B232<br/>[mailto:guillaume.bertholon_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=bertholon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Rc.png | '''[https://icps.icube.unistra.fr/index.php/Raphael_Colin Raphaël Colin]'''<br />PhD candidate 2023-<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=colin&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Cflint.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Flint Clément Flint]'''<br />PhD candidate<br /> Office B233<br/>[mailto:clement.flint_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=flint&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Clement rossetti.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Rossetti Clément Rossetti]'''<br />PhD candidate 2022-<br /> Office B232<br/>[mailto:clement.rossetti_@_inria.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=rossetti&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Souris.jpg | '''[http://icube-icps.unistra.fr/index.php/Anastasios_Souris Anastasios Souris]'''<br />PhD candidate 2021-<br /> Office B225<br/> +(33) 0638451736 [mailto:anastasios.souris_@_inria.fr @]<br/><br />
http://icube-intranet.unistra.fr/papr/appli.php?author=souris&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Arun.jpg | '''[http://icube-icps.unistra.fr/index.php/Arun_Thangamani Arun Thangamani]'''<br />PhD candidate 2021-<br />Office B229</br/>[mailto:thangamani_@_unistra.fr @]</br><br />
<!--[http://icube-intranet.unistra.fr/papr/appli.php?author=thangamanit&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]-><br />
<br />
<br />
Image: Tayeb.jpg | '''[http://icube-icps.unistra.fr/index.php/Haifa_Tayeb Haifa Tayeb]'''<br />PhD candidate 2021-<br /> Office B225<br/> [mailto:haifa.tayeb_@_inria.fr @]<br/><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=tayebt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== On leave ==<br />
<br />
<gallery><br />
<br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor, on leave to Qualcomm<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<-- Office: B232<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @] --><br />
<br />
<br />
</gallery><br />
<br />
== Former members ==<br />
<br />
<gallery><br />
<br />
<br />
Image: yann.jpg | '''[https://www.barsamian.am/ Yann Barsamian]'''<br />PhD 2018, now Teacher at [https://barsamian.am École Européenne de Bruxelles]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=barsamian&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:luke.jpg | Luke Bertot<br />PhD 2019, now PostDoc at '''[https://nms.telecom-paristech.fr Télécom Paris''']. Previous PostDoc at INRIA Nancy<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bertot&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Icon-user.png | '''[https://www.linkedin.com/in/jean-fran%C3%A7ois-dollinger-90b97155/ Jean-François Dollinger]'''<br/>PhD 2015, now Associate Professor at [https://recherche.cesi.fr/cv-chercheurs/jean-francois-dollinger/ CESI]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Imen_Fassi.jpg | '''[https://www.linkedin.com/in/imenfassi Imen Fassi]'''<br>PhD 2015, now Software Engineer at Horizon Software, Rennes<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Godard_Paul_zoom.jpg | Paul Godard, <br />PhD 2019, now R&D Research Engineer at [http://www.caldera.com Caldera]<br/> [https://icube-publis.unistra.fr/appli.php?author=godard&allaut=or&team=5#hideMenu Publications]<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor, now [https://sage.unistra.fr/ SAGE]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
Image:Alexandra Jimborean.jpg| '''[https://webs.um.es/alexandra.jimborean/miwiki/doku.php Alexandra Jimborean]''' <br/> PhD 2012, now Researcher at University of Murcia, Spain <br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=jimborean&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Ttjost.jpg | '''[https://icps.icube.unistra.fr/index.php/Tiago_Trevisan_Jost Tiago Trevisan Jost]'''<br />Research Engineer<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=jost&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Salwa_Kobeissi.png | '''[http://icube-icps.unistra.fr/index.php/Salwa_Kobeissi Salwa Kobeissi]'''<br />PhD 2021<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=kobeissi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: juan.jpg | '''[https://www.linkedin.com/in/jmartinezcaamao Juan Manuel Martinez Caamano]'''<br />PhD 2016, now Research Engineer at AMD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=martinez&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Etienne_michon.jpg | '''[https://github.com/etiennem Etienne Michon]''' <br />PhD 2015, ATER, now Engineer at [http://www.scalingo.com Scalingo] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime_Mogé.png | Maxime Mogé<br />Research Engineer (INRIA),now HPC Advisor at [https://www.surf.nl/en Surf SARA, Amsterdam]<br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=mogé&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: harenome.jpg | '''[https://www.linkedin.com/in/harenome/ Harenome Razanajato]'''<br />PhD 2020, now Compiler Engineer at Huawei, Paris<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=razanajato&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/> [mailto:harenome.ranaivoarivony-razanajato@inria.fr @]<br />
<br />
Image: Mariem_Saied.jpg | Mariem Saied<br />PhD 2018, now Software Engineer at ING, Amsterdam<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image: Daniel_Format-photos.png | '''[https://www.linkedin.com/in/daniel-salas-982b74 Daniel Salas]'''<br />PhD 2019, now Research Engineer at [https://cisi.inserm.fr INSERM]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=salas&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime-Schmitt.jpg | Maxime Schmitt<br />PhD 2019, now Compiler Engineer at Qualcomm (formerly Reservoir Labs), USA<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=Maxime%20Schmitt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:Manuel_Selva.png | '''[https://manuelselva.pages.ensimag.fr Manuel Selva]'''<br />Post-Doc (INRIA), now Associate Professor at [http://www.grenoble-inp.fr/en Grenoble Institute of Technology] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=selva&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: aravind.jpg | '''[https://eecs.wsu.edu/~asukumar/ Aravind Sukumaran-Rajam]'''<br>PhD 2015, now Assistant Professor at [https://eecs.wsu.edu/~asukumar Washington State University, USA]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
</gallery></div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=654People2023-10-09T15:48:24Z<p>Violard: /* Permanent Members */</p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
<br />
Image: berenger-bramas.png |'''[http://berenger.eu Bérenger Bramas]'''<br />Research scientist (CR)<br />[https://hal.inria.fr/search/index/?q=%2A&authFullName_s=B%C3%A9renger+Bramas Publications]<br/>Office: B230<br /> [mailto:berenger.bramas_@_inria.fr @]<br />
<br />
Image:Arthur.jpg |'''[http://chargueraud.org Arthur Charguéraud]'''<br />Inria Researcher<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=charguéraud&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B226<br />(+33)368854537 [mailto:arthur.chargueraud@inria.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[[Philippe Clauss]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />Publications [https://publis.icube.unistra.fr/?author=genaud&allaut=or#hideMenu @papr][https://inria.hal.science/search/index/?q=stéphane+genaud&rows=30&sort=producedDate_tdate+desc&authFullName_s=Stéphane+Genaud @HAL]<br/>Office: B230<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
Image:jens-gustedt.jpg|'''[[Jens Gustedt]]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B231<br /><br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B231<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/~loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Photo_ERIC3.png|'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B232<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
<br />
</gallery><br />
<br />
== Engineers and Postdocs ==<br />
<br />
<gallery><br />
<br />
Image Marek.jpg | '''[https://felsoci.sk Marek Felšöci]'''<br /><br />
Post-Doc <br /><br />
[https://inria.hal.science/search/index?q=Marek+Felšöci Publications]<br />
<br />
Image:4X4 Ndamlabin.png | '''[https://icps.icube.unistra.fr/index.php/Etienne_Ndamlabin Etienne Ndamlabin]'''<br /><br />
Post-Doc <br /><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=ndamlabin&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image: Guillaume Bertholon.jpg | '''[http://icube-icps.unistra.fr/index.php/Guillaume_Bertholon Guillaume Bertholon]'''<br />PhD candidate 2022-<br />Office B232<br/>[mailto:guillaume.bertholon_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=bertholon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Rc.png | '''[https://icps.icube.unistra.fr/index.php/Raphael_Colin Raphaël Colin]'''<br />PhD candidate 2023-<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=colin&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Cflint.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Flint Clément Flint]'''<br />PhD candidate<br /> Office B233<br/>[mailto:clement.flint_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=flint&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Clement rossetti.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Rossetti Clément Rossetti]'''<br />PhD candidate 2022-<br /> Office B232<br/>[mailto:clement.rossetti_@_inria.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=rossetti&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Souris.jpg | '''[http://icube-icps.unistra.fr/index.php/Anastasios_Souris Anastasios Souris]'''<br />PhD candidate 2021-<br /> Office B225<br/> +(33) 0638451736 [mailto:anastasios.souris_@_inria.fr @]<br/><br />
http://icube-intranet.unistra.fr/papr/appli.php?author=souris&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Arun.jpg | '''[http://icube-icps.unistra.fr/index.php/Arun_Thangamani Arun Thangamani]'''<br />PhD candidate 2021-<br />Office B229</br/>[mailto:thangamani_@_unistra.fr @]</br><br />
<!--[http://icube-intranet.unistra.fr/papr/appli.php?author=thangamanit&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]-><br />
<br />
<br />
Image: Tayeb.jpg | '''[http://icube-icps.unistra.fr/index.php/Haifa_Tayeb Haifa Tayeb]'''<br />PhD candidate 2021-<br /> Office B225<br/> [mailto:haifa.tayeb_@_inria.fr @]<br/><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=tayebt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== On leave ==<br />
<br />
<gallery><br />
<br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor, on leave to Qualcomm<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<-- Office: B232<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @] --><br />
<br />
<br />
</gallery><br />
<br />
== Former members ==<br />
<br />
<gallery><br />
<br />
<br />
Image: yann.jpg | '''[https://www.barsamian.am/ Yann Barsamian]'''<br />PhD 2018, now Teacher at [https://barsamian.am École Européenne de Bruxelles]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=barsamian&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:luke.jpg | Luke Bertot<br />PhD 2019, now PostDoc at '''[https://nms.telecom-paristech.fr Télécom Paris''']. Previous PostDoc at INRIA Nancy<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bertot&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Icon-user.png | '''[https://www.linkedin.com/in/jean-fran%C3%A7ois-dollinger-90b97155/ Jean-François Dollinger]'''<br/>PhD 2015, now Associate Professor at [https://recherche.cesi.fr/cv-chercheurs/jean-francois-dollinger/ CESI]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Imen_Fassi.jpg | '''[https://www.linkedin.com/in/imenfassi Imen Fassi]'''<br>PhD 2015, now Software Engineer at Horizon Software, Rennes<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Godard_Paul_zoom.jpg | Paul Godard, <br />PhD 2019, now R&D Research Engineer at [http://www.caldera.com Caldera]<br/> [https://icube-publis.unistra.fr/appli.php?author=godard&allaut=or&team=5#hideMenu Publications]<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor, now [https://sage.unistra.fr/ SAGE]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
Image:Alexandra Jimborean.jpg| '''[https://webs.um.es/alexandra.jimborean/miwiki/doku.php Alexandra Jimborean]''' <br/> PhD 2012, now Researcher at University of Murcia, Spain <br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=jimborean&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Ttjost.jpg | '''[https://icps.icube.unistra.fr/index.php/Tiago_Trevisan_Jost Tiago Trevisan Jost]'''<br />Research Engineer<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=jost&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Salwa_Kobeissi.png | '''[http://icube-icps.unistra.fr/index.php/Salwa_Kobeissi Salwa Kobeissi]'''<br />PhD 2021<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=kobeissi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: juan.jpg | '''[https://www.linkedin.com/in/jmartinezcaamao Juan Manuel Martinez Caamano]'''<br />PhD 2016, now Research Engineer at AMD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=martinez&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Etienne_michon.jpg | '''[https://github.com/etiennem Etienne Michon]''' <br />PhD 2015, ATER, now Engineer at [http://www.scalingo.com Scalingo] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime_Mogé.png | Maxime Mogé<br />Research Engineer (INRIA),now HPC Advisor at [https://www.surf.nl/en Surf SARA, Amsterdam]<br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=mogé&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: harenome.jpg | '''[https://www.linkedin.com/in/harenome/ Harenome Razanajato]'''<br />PhD 2020, now Compiler Engineer at Huawei, Paris<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=razanajato&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/> [mailto:harenome.ranaivoarivony-razanajato@inria.fr @]<br />
<br />
Image: Mariem_Saied.jpg | Mariem Saied<br />PhD 2018, now Software Engineer at ING, Amsterdam<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image: Daniel_Format-photos.png | '''[https://www.linkedin.com/in/daniel-salas-982b74 Daniel Salas]'''<br />PhD 2019, now Research Engineer at [https://cisi.inserm.fr INSERM]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=salas&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime-Schmitt.jpg | Maxime Schmitt<br />PhD 2019, now Compiler Engineer at Qualcomm (formerly Reservoir Labs), USA<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=Maxime%20Schmitt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:Manuel_Selva.png | '''[https://manuelselva.pages.ensimag.fr Manuel Selva]'''<br />Post-Doc (INRIA), now Associate Professor at [http://www.grenoble-inp.fr/en Grenoble Institute of Technology] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=selva&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: aravind.jpg | '''[https://eecs.wsu.edu/~asukumar/ Aravind Sukumaran-Rajam]'''<br>PhD 2015, now Assistant Professor at [https://eecs.wsu.edu/~asukumar Washington State University, USA]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
</gallery></div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Photo_ERIC3.png&diff=653File:Photo ERIC3.png2023-10-09T15:47:50Z<p>Violard: </p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=652People2023-10-09T15:43:59Z<p>Violard: /* Permanent Members */</p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
<br />
Image: berenger-bramas.png |'''[http://berenger.eu Bérenger Bramas]'''<br />Research scientist (CR)<br />[https://hal.inria.fr/search/index/?q=%2A&authFullName_s=B%C3%A9renger+Bramas Publications]<br/>Office: B230<br /> [mailto:berenger.bramas_@_inria.fr @]<br />
<br />
Image:Arthur.jpg |'''[http://chargueraud.org Arthur Charguéraud]'''<br />Inria Researcher<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=charguéraud&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B226<br />(+33)368854537 [mailto:arthur.chargueraud@inria.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[[Philippe Clauss]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />Publications [https://publis.icube.unistra.fr/?author=genaud&allaut=or#hideMenu @papr][https://inria.hal.science/search/index/?q=stéphane+genaud&rows=30&sort=producedDate_tdate+desc&authFullName_s=Stéphane+Genaud @HAL]<br/>Office: B230<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
Image:jens-gustedt.jpg|'''[[Jens Gustedt]]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B231<br /><br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B231<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/~loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Photo_ERIC2.jpg|'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B232<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
<br />
</gallery><br />
<br />
== Engineers and Postdocs ==<br />
<br />
<gallery><br />
<br />
Image Marek.jpg | '''[https://felsoci.sk Marek Felšöci]'''<br /><br />
Post-Doc <br /><br />
[https://inria.hal.science/search/index?q=Marek+Felšöci Publications]<br />
<br />
Image:4X4 Ndamlabin.png | '''[https://icps.icube.unistra.fr/index.php/Etienne_Ndamlabin Etienne Ndamlabin]'''<br /><br />
Post-Doc <br /><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=ndamlabin&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image: Guillaume Bertholon.jpg | '''[http://icube-icps.unistra.fr/index.php/Guillaume_Bertholon Guillaume Bertholon]'''<br />PhD candidate 2022-<br />Office B232<br/>[mailto:guillaume.bertholon_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=bertholon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Rc.png | '''[https://icps.icube.unistra.fr/index.php/Raphael_Colin Raphaël Colin]'''<br />PhD candidate 2023-<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=colin&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Cflint.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Flint Clément Flint]'''<br />PhD candidate<br /> Office B233<br/>[mailto:clement.flint_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=flint&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Clement rossetti.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Rossetti Clément Rossetti]'''<br />PhD candidate 2022-<br /> Office B232<br/>[mailto:clement.rossetti_@_inria.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=rossetti&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Souris.jpg | '''[http://icube-icps.unistra.fr/index.php/Anastasios_Souris Anastasios Souris]'''<br />PhD candidate 2021-<br /> Office B225<br/> +(33) 0638451736 [mailto:anastasios.souris_@_inria.fr @]<br/><br />
http://icube-intranet.unistra.fr/papr/appli.php?author=souris&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Arun.jpg | '''[http://icube-icps.unistra.fr/index.php/Arun_Thangamani Arun Thangamani]'''<br />PhD candidate 2021-<br />Office B229</br/>[mailto:thangamani_@_unistra.fr @]</br><br />
<!--[http://icube-intranet.unistra.fr/papr/appli.php?author=thangamanit&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]-><br />
<br />
<br />
Image: Tayeb.jpg | '''[http://icube-icps.unistra.fr/index.php/Haifa_Tayeb Haifa Tayeb]'''<br />PhD candidate 2021-<br /> Office B225<br/> [mailto:haifa.tayeb_@_inria.fr @]<br/><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=tayebt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== On leave ==<br />
<br />
<gallery><br />
<br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor, on leave to Qualcomm<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<-- Office: B232<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @] --><br />
<br />
<br />
</gallery><br />
<br />
== Former members ==<br />
<br />
<gallery><br />
<br />
<br />
Image: yann.jpg | '''[https://www.barsamian.am/ Yann Barsamian]'''<br />PhD 2018, now Teacher at [https://barsamian.am École Européenne de Bruxelles]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=barsamian&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:luke.jpg | Luke Bertot<br />PhD 2019, now PostDoc at '''[https://nms.telecom-paristech.fr Télécom Paris''']. Previous PostDoc at INRIA Nancy<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bertot&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Icon-user.png | '''[https://www.linkedin.com/in/jean-fran%C3%A7ois-dollinger-90b97155/ Jean-François Dollinger]'''<br/>PhD 2015, now Associate Professor at [https://recherche.cesi.fr/cv-chercheurs/jean-francois-dollinger/ CESI]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Imen_Fassi.jpg | '''[https://www.linkedin.com/in/imenfassi Imen Fassi]'''<br>PhD 2015, now Software Engineer at Horizon Software, Rennes<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Godard_Paul_zoom.jpg | Paul Godard, <br />PhD 2019, now R&D Research Engineer at [http://www.caldera.com Caldera]<br/> [https://icube-publis.unistra.fr/appli.php?author=godard&allaut=or&team=5#hideMenu Publications]<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor, now [https://sage.unistra.fr/ SAGE]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
Image:Alexandra Jimborean.jpg| '''[https://webs.um.es/alexandra.jimborean/miwiki/doku.php Alexandra Jimborean]''' <br/> PhD 2012, now Researcher at University of Murcia, Spain <br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=jimborean&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Ttjost.jpg | '''[https://icps.icube.unistra.fr/index.php/Tiago_Trevisan_Jost Tiago Trevisan Jost]'''<br />Research Engineer<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=jost&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Salwa_Kobeissi.png | '''[http://icube-icps.unistra.fr/index.php/Salwa_Kobeissi Salwa Kobeissi]'''<br />PhD 2021<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=kobeissi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: juan.jpg | '''[https://www.linkedin.com/in/jmartinezcaamao Juan Manuel Martinez Caamano]'''<br />PhD 2016, now Research Engineer at AMD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=martinez&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Etienne_michon.jpg | '''[https://github.com/etiennem Etienne Michon]''' <br />PhD 2015, ATER, now Engineer at [http://www.scalingo.com Scalingo] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime_Mogé.png | Maxime Mogé<br />Research Engineer (INRIA),now HPC Advisor at [https://www.surf.nl/en Surf SARA, Amsterdam]<br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=mogé&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: harenome.jpg | '''[https://www.linkedin.com/in/harenome/ Harenome Razanajato]'''<br />PhD 2020, now Compiler Engineer at Huawei, Paris<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=razanajato&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/> [mailto:harenome.ranaivoarivony-razanajato@inria.fr @]<br />
<br />
Image: Mariem_Saied.jpg | Mariem Saied<br />PhD 2018, now Software Engineer at ING, Amsterdam<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image: Daniel_Format-photos.png | '''[https://www.linkedin.com/in/daniel-salas-982b74 Daniel Salas]'''<br />PhD 2019, now Research Engineer at [https://cisi.inserm.fr INSERM]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=salas&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime-Schmitt.jpg | Maxime Schmitt<br />PhD 2019, now Compiler Engineer at Qualcomm (formerly Reservoir Labs), USA<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=Maxime%20Schmitt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:Manuel_Selva.png | '''[https://manuelselva.pages.ensimag.fr Manuel Selva]'''<br />Post-Doc (INRIA), now Associate Professor at [http://www.grenoble-inp.fr/en Grenoble Institute of Technology] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=selva&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: aravind.jpg | '''[https://eecs.wsu.edu/~asukumar/ Aravind Sukumaran-Rajam]'''<br>PhD 2015, now Assistant Professor at [https://eecs.wsu.edu/~asukumar Washington State University, USA]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
</gallery></div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Photo_ERIC2.jpg&diff=651File:Photo ERIC2.jpg2023-10-09T15:43:35Z<p>Violard: </p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=650People2023-10-09T15:34:19Z<p>Violard: /* Permanent Members */</p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
<br />
Image: berenger-bramas.png |'''[http://berenger.eu Bérenger Bramas]'''<br />Research scientist (CR)<br />[https://hal.inria.fr/search/index/?q=%2A&authFullName_s=B%C3%A9renger+Bramas Publications]<br/>Office: B230<br /> [mailto:berenger.bramas_@_inria.fr @]<br />
<br />
Image:Arthur.jpg |'''[http://chargueraud.org Arthur Charguéraud]'''<br />Inria Researcher<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=charguéraud&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B226<br />(+33)368854537 [mailto:arthur.chargueraud@inria.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[[Philippe Clauss]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />Publications [https://publis.icube.unistra.fr/?author=genaud&allaut=or#hideMenu @papr][https://inria.hal.science/search/index/?q=stéphane+genaud&rows=30&sort=producedDate_tdate+desc&authFullName_s=Stéphane+Genaud @HAL]<br/>Office: B230<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
Image:jens-gustedt.jpg|'''[[Jens Gustedt]]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B231<br /><br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B231<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/~loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B234<br />(+33)368854537[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Photo_ERIC.jpg|'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B232<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
<br />
</gallery><br />
<br />
== Engineers and Postdocs ==<br />
<br />
<gallery><br />
<br />
Image Marek.jpg | '''[https://felsoci.sk Marek Felšöci]'''<br /><br />
Post-Doc <br /><br />
[https://inria.hal.science/search/index?q=Marek+Felšöci Publications]<br />
<br />
Image:4X4 Ndamlabin.png | '''[https://icps.icube.unistra.fr/index.php/Etienne_Ndamlabin Etienne Ndamlabin]'''<br /><br />
Post-Doc <br /><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=ndamlabin&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image: Guillaume Bertholon.jpg | '''[http://icube-icps.unistra.fr/index.php/Guillaume_Bertholon Guillaume Bertholon]'''<br />PhD candidate 2022-<br />Office B232<br/>[mailto:guillaume.bertholon_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=bertholon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Rc.png | '''[https://icps.icube.unistra.fr/index.php/Raphael_Colin Raphaël Colin]'''<br />PhD candidate 2023-<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=colin&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Cflint.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Flint Clément Flint]'''<br />PhD candidate<br /> Office B233<br/>[mailto:clement.flint_@_unistra.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=flint&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Clement rossetti.jpg | '''[http://icube-icps.unistra.fr/index.php/Clément_Rossetti Clément Rossetti]'''<br />PhD candidate 2022-<br /> Office B232<br/>[mailto:clement.rossetti_@_inria.fr @]</br><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=rossetti&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Souris.jpg | '''[http://icube-icps.unistra.fr/index.php/Anastasios_Souris Anastasios Souris]'''<br />PhD candidate 2021-<br /> Office B225<br/> +(33) 0638451736 [mailto:anastasios.souris_@_inria.fr @]<br/><br />
http://icube-intranet.unistra.fr/papr/appli.php?author=souris&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Arun.jpg | '''[http://icube-icps.unistra.fr/index.php/Arun_Thangamani Arun Thangamani]'''<br />PhD candidate 2021-<br />Office B229</br/>[mailto:thangamani_@_unistra.fr @]</br><br />
<!--[http://icube-intranet.unistra.fr/papr/appli.php?author=thangamanit&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]-><br />
<br />
<br />
Image: Tayeb.jpg | '''[http://icube-icps.unistra.fr/index.php/Haifa_Tayeb Haifa Tayeb]'''<br />PhD candidate 2021-<br /> Office B225<br/> [mailto:haifa.tayeb_@_inria.fr @]<br/><br />
[http://icube-intranet.unistra.fr/papr/appli.php?author=tayebt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
</gallery><br />
<br />
== On leave ==<br />
<br />
<gallery><br />
<br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor, on leave to Qualcomm<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<-- Office: B232<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @] --><br />
<br />
<br />
</gallery><br />
<br />
== Former members ==<br />
<br />
<gallery><br />
<br />
<br />
Image: yann.jpg | '''[https://www.barsamian.am/ Yann Barsamian]'''<br />PhD 2018, now Teacher at [https://barsamian.am École Européenne de Bruxelles]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=barsamian&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:luke.jpg | Luke Bertot<br />PhD 2019, now PostDoc at '''[https://nms.telecom-paristech.fr Télécom Paris''']. Previous PostDoc at INRIA Nancy<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bertot&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Icon-user.png | '''[https://www.linkedin.com/in/jean-fran%C3%A7ois-dollinger-90b97155/ Jean-François Dollinger]'''<br/>PhD 2015, now Associate Professor at [https://recherche.cesi.fr/cv-chercheurs/jean-francois-dollinger/ CESI]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Imen_Fassi.jpg | '''[https://www.linkedin.com/in/imenfassi Imen Fassi]'''<br>PhD 2015, now Software Engineer at Horizon Software, Rennes<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Godard_Paul_zoom.jpg | Paul Godard, <br />PhD 2019, now R&D Research Engineer at [http://www.caldera.com Caldera]<br/> [https://icube-publis.unistra.fr/appli.php?author=godard&allaut=or&team=5#hideMenu Publications]<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor, now [https://sage.unistra.fr/ SAGE]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
Image:Alexandra Jimborean.jpg| '''[https://webs.um.es/alexandra.jimborean/miwiki/doku.php Alexandra Jimborean]''' <br/> PhD 2012, now Researcher at University of Murcia, Spain <br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=jimborean&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image:Ttjost.jpg | '''[https://icps.icube.unistra.fr/index.php/Tiago_Trevisan_Jost Tiago Trevisan Jost]'''<br />Research Engineer<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=jost&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Salwa_Kobeissi.png | '''[http://icube-icps.unistra.fr/index.php/Salwa_Kobeissi Salwa Kobeissi]'''<br />PhD 2021<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=kobeissi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: juan.jpg | '''[https://www.linkedin.com/in/jmartinezcaamao Juan Manuel Martinez Caamano]'''<br />PhD 2016, now Research Engineer at AMD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=martinez&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: Etienne_michon.jpg | '''[https://github.com/etiennem Etienne Michon]''' <br />PhD 2015, ATER, now Engineer at [http://www.scalingo.com Scalingo] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime_Mogé.png | Maxime Mogé<br />Research Engineer (INRIA),now HPC Advisor at [https://www.surf.nl/en Surf SARA, Amsterdam]<br/>[http://icube-intranet.unistra.fr/papr/appli.php?author=mogé&team=icps&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: harenome.jpg | '''[https://www.linkedin.com/in/harenome/ Harenome Razanajato]'''<br />PhD 2020, now Compiler Engineer at Huawei, Paris<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=razanajato&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/> [mailto:harenome.ranaivoarivony-razanajato@inria.fr @]<br />
<br />
Image: Mariem_Saied.jpg | Mariem Saied<br />PhD 2018, now Software Engineer at ING, Amsterdam<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image: Daniel_Format-photos.png | '''[https://www.linkedin.com/in/daniel-salas-982b74 Daniel Salas]'''<br />PhD 2019, now Research Engineer at [https://cisi.inserm.fr INSERM]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=salas&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
Image: Maxime-Schmitt.jpg | Maxime Schmitt<br />PhD 2019, now Compiler Engineer at Qualcomm (formerly Reservoir Labs), USA<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=Maxime%20Schmitt&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/><br />
<br />
Image:Manuel_Selva.png | '''[https://manuelselva.pages.ensimag.fr Manuel Selva]'''<br />Post-Doc (INRIA), now Associate Professor at [http://www.grenoble-inp.fr/en Grenoble Institute of Technology] <br />[http://icube-intranet.unistra.fr/papr/appli.php?author=selva&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
Image: aravind.jpg | '''[https://eecs.wsu.edu/~asukumar/ Aravind Sukumaran-Rajam]'''<br>PhD 2015, now Assistant Professor at [https://eecs.wsu.edu/~asukumar Washington State University, USA]<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br />
<br />
<br />
</gallery></div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Photo_ERIC.jpg&diff=649File:Photo ERIC.jpg2023-10-09T15:33:23Z<p>Violard: </p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=242People2014-10-21T13:07:48Z<p>Violard: /* PhD students */</p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B223<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[http://icps.u-strasbg.fr/~clauss/ Philippe Clauss]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=genaud&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B252<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B252<br />(+33)368854542<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
<br />
Image:jens-gustedt.jpg|'''[http://icube-icps.unistra.fr/index.php/Jens_Gustedt Jens Gustedt]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B252<br />(+33)368854536<br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B201<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/~loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854537[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Catherine Mongenet.jpg |'''[http://icps.u-strasbg.fr/members/mongenet/ Catherine Mongenet]<br />'''Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mongenet&lg=en&team=1&year=-1&display=rap&Hide=1&search=0 Publications]<br />Offfice B252<br />(+33)368854585 [mailto:mongenet_@_unistra.fr @]<br />
<br />
Image:Eric.JPG |'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B223<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
</gallery><br />
<br />
== Engineers and Postdocs ==<br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
Image:Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Luke_Bertot Luke Bertot]'''<br />Engineer<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bertot&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:rajni.aron@inria.fr @]<br />
<br />
Image:Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Jean-François_Dollinger Jean-François Dollinger]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:dollinger@unistra.fr @]<br />
<br />
Image:Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Imèn_Fassi Imèn Fassi]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:fassi@unistra.fr @]<br />
<br />
Image: Etienne_michon.jpg | '''[http://icube-icps.unistra.fr/index.php/Etienne_Michon Etienne Michon]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:michon@unistra.fr @]<br />
<br />
<br />
Image: Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Mariem_Saied Mariem Saied]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:mariem.saied@inria.fr @]<br />
<br />
Image: Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Aravind_Sukumaran-Rajam Aravind Sukumaran-Rajam]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:aravind@unistra.fr @]<br />
<br />
Image: Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Yann_Barsamian Yann Barsamian]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=barsamian&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:yann.barsamian@gmail.com @]<br />
<br />
</gallery><br />
<br />
<br />
[[fr:Personnel]]</div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=241People2014-10-21T13:07:12Z<p>Violard: /* PhD students */</p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B223<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[http://icps.u-strasbg.fr/~clauss/ Philippe Clauss]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=genaud&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B252<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B252<br />(+33)368854542<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
<br />
Image:jens-gustedt.jpg|'''[http://icube-icps.unistra.fr/index.php/Jens_Gustedt Jens Gustedt]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B252<br />(+33)368854536<br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B201<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/~loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854537[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Catherine Mongenet.jpg |'''[http://icps.u-strasbg.fr/members/mongenet/ Catherine Mongenet]<br />'''Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mongenet&lg=en&team=1&year=-1&display=rap&Hide=1&search=0 Publications]<br />Offfice B252<br />(+33)368854585 [mailto:mongenet_@_unistra.fr @]<br />
<br />
Image:Eric.JPG |'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B223<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
</gallery><br />
<br />
== Engineers and Postdocs ==<br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
Image:Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Luke_Bertot Luke Bertot]'''<br />Engineer<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bertot&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:rajni.aron@inria.fr @]<br />
<br />
Image:Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Jean-François_Dollinger Jean-François Dollinger]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:dollinger@unistra.fr @]<br />
<br />
Image:Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Imèn_Fassi Imèn Fassi]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:fassi@unistra.fr @]<br />
<br />
Image: Etienne_michon.jpg | '''[http://icube-icps.unistra.fr/index.php/Etienne_Michon Etienne Michon]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:michon@unistra.fr @]<br />
<br />
<br />
Image: Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Mariem_Saied Mariem Saied]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:mariem.saied@inria.fr @]<br />
<br />
Image: Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Aravind_Sukumaran-Rajam Aravind Sukumaran-Rajam]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:aravind@unistra.fr @]<br />
<br />
Image: Icon-user.png | '''[http://icube-icps.unistra.fr/index.php/Yann_Barsamian-Yann Barsamian]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=barsamian&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:yann.barsamian@gmail.com @]<br />
<br />
</gallery><br />
<br />
<br />
[[fr:Personnel]]</div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Eric.JPG&diff=227File:Eric.JPG2014-04-30T12:57:16Z<p>Violard: Violard uploaded a new version of &quot;File:Eric.JPG&quot;</p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=226Eric Violard2014-04-30T12:54:17Z<p>Violard: /* Teaching */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B223<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* 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-]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=225People2014-04-30T12:51:11Z<p>Violard: </p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B223<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[http://icps.u-strasbg.fr/~clauss/ Philippe Clauss]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=genaud&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B252<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B252<br />(+33)368854542<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
<br />
Image:jens-gustedt.jpg|'''[http://icube-icps.unistra.fr/index.php/Jens_Gustedt Jens Gustedt]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B252<br />(+33)368854536<br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B201<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/members/loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854662[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Catherine Mongenet.jpg |'''[http://icps.u-strasbg.fr/members/mongenet/ Catherine Mongenet]<br />'''Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mongenet&lg=en&team=1&year=-1&display=rap&Hide=1&search=0 Publications]<br />Offfice B252<br />(+33)368854585 [mailto:mongenet_@_unistra.fr @]<br />
<br />
Image:Eric.JPG |'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B223<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
</gallery><br />
<br />
== temporary staff ==<br />
<br />
<gallery><br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/rajni/ Rajni Aron]'''<br />postdoc<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=rajni&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:rajni.aron@inria.fr @]<br />
<br />
<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/dollinger/ Jean-François Dollinger]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:dollinger@unistra.fr @]<br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/fassi/ Imèn Fassi]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:fassi@unistra.fr @]<br />
<br />
Image: Etienne_michon.jpg | '''[http://icps.u-strasbg.fr/members/michon/ Etienne Michon]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:michon@unistra.fr @]<br />
<br />
<br />
Image: Icon-user.png | '''[http://icps.u-strasbg.fr/members/mariem/ Mariem Saied]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:mariem.saied@inria.fr @]<br />
<br />
Image: Icon-user.png | '''[http://icps.u-strasbg.fr/members/aravind/ Aravind Sukumaran-Rajam]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:aravind@unistra.fr @]<br />
<br />
</gallery><br />
<br />
<br />
[[fr:Personnel]]</div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=224People2014-04-30T12:50:48Z<p>Violard: </p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B223<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[http://icps.u-strasbg.fr/~clauss/ Philippe Clauss]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=genaud&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B252<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B252<br />(+33)368854542<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
<br />
Image:jens-gustedt.jpg|'''[http://icube-icps.unistra.fr/index.php/Jens_Gustedt Jens Gustedt]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B252<br />(+33)368854536<br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B201<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/members/loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854662[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Catherine Mongenet.jpg |'''[http://icps.u-strasbg.fr/members/mongenet/ Catherine Mongenet]<br />'''Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mongenet&lg=en&team=1&year=-1&display=rap&Hide=1&search=0 Publications]<br />Offfice B252<br />(+33)368854585 [mailto:mongenet_@_unistra.fr @]<br />
<br />
Image:ERIC.JPG |'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B223<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
</gallery><br />
<br />
== temporary staff ==<br />
<br />
<gallery><br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/rajni/ Rajni Aron]'''<br />postdoc<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=rajni&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:rajni.aron@inria.fr @]<br />
<br />
<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/dollinger/ Jean-François Dollinger]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:dollinger@unistra.fr @]<br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/fassi/ Imèn Fassi]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:fassi@unistra.fr @]<br />
<br />
Image: Etienne_michon.jpg | '''[http://icps.u-strasbg.fr/members/michon/ Etienne Michon]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:michon@unistra.fr @]<br />
<br />
<br />
Image: Icon-user.png | '''[http://icps.u-strasbg.fr/members/mariem/ Mariem Saied]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:mariem.saied@inria.fr @]<br />
<br />
Image: Icon-user.png | '''[http://icps.u-strasbg.fr/members/aravind/ Aravind Sukumaran-Rajam]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:aravind@unistra.fr @]<br />
<br />
</gallery><br />
<br />
<br />
[[fr:Personnel]]</div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Eric.JPG&diff=223File:Eric.JPG2014-04-30T12:50:18Z<p>Violard: </p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Eric_photo.jpg&diff=222File:Eric photo.jpg2014-04-30T12:48:52Z<p>Violard: </p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=221People2014-04-30T12:48:14Z<p>Violard: </p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B223<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[http://icps.u-strasbg.fr/~clauss/ Philippe Clauss]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=genaud&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B252<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B252<br />(+33)368854542<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
<br />
Image:jens-gustedt.jpg|'''[http://icube-icps.unistra.fr/index.php/Jens_Gustedt Jens Gustedt]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B252<br />(+33)368854536<br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B201<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/members/loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854662[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Catherine Mongenet.jpg |'''[http://icps.u-strasbg.fr/members/mongenet/ Catherine Mongenet]<br />'''Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mongenet&lg=en&team=1&year=-1&display=rap&Hide=1&search=0 Publications]<br />Offfice B252<br />(+33)368854585 [mailto:mongenet_@_unistra.fr @]<br />
<br />
Image:Eric_photo.jpg |'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B223<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
</gallery><br />
<br />
== temporary staff ==<br />
<br />
<gallery><br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/rajni/ Rajni Aron]'''<br />postdoc<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=rajni&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:rajni.aron@inria.fr @]<br />
<br />
<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/dollinger/ Jean-François Dollinger]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:dollinger@unistra.fr @]<br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/fassi/ Imèn Fassi]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:fassi@unistra.fr @]<br />
<br />
Image: Etienne_michon.jpg | '''[http://icps.u-strasbg.fr/members/michon/ Etienne Michon]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:michon@unistra.fr @]<br />
<br />
<br />
Image: Icon-user.png | '''[http://icps.u-strasbg.fr/members/mariem/ Mariem Saied]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mariem&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:mariem.saied@inria.fr @]<br />
<br />
Image: Icon-user.png | '''[http://icps.u-strasbg.fr/members/aravind/ Aravind Sukumaran-Rajam]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:aravind@unistra.fr @]<br />
<br />
</gallery><br />
<br />
<br />
[[fr:Personnel]]</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=220Eric Violard2014-03-20T15:21:30Z<p>Violard: /* Teaching */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B223<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* 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-develo/mini-manuel-de-prog]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://tolambda.sourceforge.net/fr/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=219Eric Violard2014-03-20T15:20:31Z<p>Violard: /* Teaching */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B223<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* 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-develo/mini-manuel-de-prog]) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://icps.u-strasbg.fr/people/violard/public_html/PF/tools/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=215Eric Violard2014-01-16T07:44:24Z<p>Violard: /* Teaching */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B223<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD. It will be available in bookshops on February 19th, 2014) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://icps.u-strasbg.fr/people/violard/public_html/PF/tools/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=207Eric Violard2013-11-18T13:59:23Z<p>Violard: /* Publications */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B223<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
(Some of) My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD. It will appear at the beginning of January) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://icps.u-strasbg.fr/people/violard/public_html/PF/tools/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=206Eric Violard2013-11-18T13:57:31Z<p>Violard: /* Internship offers */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B223<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive (only some of my papers) : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD. It will appear at the beginning of January) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://icps.u-strasbg.fr/people/violard/public_html/PF/tools/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=205Eric Violard2013-11-18T13:56:46Z<p>Violard: /* Contact */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B223<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 at ENS Lyon [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive (only some of my papers) : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD. It will appear at the beginning of January) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://icps.u-strasbg.fr/people/violard/public_html/PF/tools/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=204Eric Violard2013-11-18T13:56:21Z<p>Violard: /* Contact */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Office : B 223<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 at ENS Lyon [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive (only some of my papers) : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD. It will appear at the beginning of January) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://icps.u-strasbg.fr/people/violard/public_html/PF/tools/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=People&diff=203People2013-11-18T13:38:52Z<p>Violard: /* Permanent Members */</p>
<hr />
<div>== Permanent Members ==<br />
<br />
<gallery><br />
Image: Cedric-bastoul.jpg |'''[http://icps.u-strasbg.fr/~bastoul/ Cédric Bastoul]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=bastoul&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B223<br />(+33)368854552 [mailto:cedric.bastoul_@_unistra.fr @]<br />
<br />
Image:philippe-clauss.jpg|'''[http://icps.u-strasbg.fr/~clauss/ Philippe Clauss]'''<br />Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=philippe%20clauss&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854537 [mailto:clauss_@_unistra.fr @]<br />
<br />
<br />
Image: Steph id 640x480.jpg | '''[[Stéphane Genaud]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=genaud&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B252<br />(+33)368854542 [mailto:genaud_@_unistra.fr @]<br />
<br />
<br />
Image:julien-gossa.jpg|'''[http://icube-icps.unistra.fr/index.php?title=Julien%20Gossa Julien Gossa]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=gossa&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B252<br />(+33)368854542<br />[mailto:gossa_@_unistra.fr @]<br />
<br />
<br />
Image:jens-gustedt.jpg|'''[http://icube-icps.unistra.fr/index.php/Jens_Gustedt Jens Gustedt]'''<br />Senior Researcher<br />[http://haltools.inrialpes.fr/Public/afficheRequetePubli.php?auteur_exp=Jens,%20Gustedt&CB_auteur=oui&CB_titre=oui&CB_article=oui&CB_Resume_court=oui&langue=Anglais&tri_exp=annee_publi&tri_exp2=auteur_exp&ordre_aff=AT&menu=Export&Fen=Aff&css=../css/VisuRubriqueEncadre.css Publications]<br />Office: B252<br />(+33)368854536<br/>[mailto:jens.gustedt_@_inria.fr @]<br />
<br />
<br />
Image:Icon-user.png|'''[http://icps.u-strasbg.fr/members/alain-ketterlin/ Alain Ketterlin]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=alain%20ketterlin&lg=en&team=1&year=-1&display=rap&Hide=0&search=0 Publications]<br />Office: B201<br />(+33)368854650<br />[mailto:alain_@_unistra.fr @]<br />
<br />
<br />
Image:vincent-loechner.jpg|'''[http://icps.u-strasbg.fr/members/loechner Vincent Loechner]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=vincent%20loechner&lg=en&team=allall&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B221<br />(+33)368854662[mailto:loechner_@_unistra.fr @]<br />
<br />
Image:Catherine Mongenet.jpg |'''[http://icps.u-strasbg.fr/members/mongenet/ Catherine Mongenet]<br />'''Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=mongenet&lg=en&team=1&year=-1&display=rap&Hide=1&search=0 Publications]<br />Offfice B252<br />(+33)368854585 [mailto:mongenet_@_unistra.fr @]<br />
<br />
Image:Icon-user.png |'''[[Eric Violard]]'''<br />Associate Professor<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=violard&lg=en&year=-1&display=rap&Hide=1&search=0 Publications]<br />Office: B223<br />(+33)368854552 [mailto:violard_@_unistra.fr @]<br />
</gallery><br />
<br />
== PhD students ==<br />
<br />
<gallery><br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/dollinger/ Jean-François Dollinger]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=dollinger&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:dollinger@unistra.fr @]<br />
<br />
Image:Icon-user.png | '''[http://icps.u-strasbg.fr/members/fassi/ Imèn Fassi]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=fassi&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:fassi@unistra.fr @]<br />
<br />
Image: Etienne_michon.jpg | '''[http://icps.u-strasbg.fr/members/michon/ Etienne Michon]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=michon&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:michon@unistra.fr @]<br />
<br />
<br />
Image: Icon-user.png | '''[http://icps.u-strasbg.fr/members/aravind/ Aravind Sukumaran-Rajam]'''<br />PhD<br />[http://icube-intranet.unistra.fr/papr/appli.php?author=aravind&team=toutes&year=-1&display=rap&Hide=1&search=0 Publications]<br/>Office: B2XX<br />(+33)3688545XX [mailto:aravind@unistra.fr @]<br />
<br />
</gallery><br />
<br />
<br />
[[fr:Personnel]]</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Eric_Violard&diff=202Eric Violard2013-11-18T13:36:21Z<p>Violard: /* Contact */</p>
<hr />
<div><br />
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.<br />
<br />
=== Contact ===<br />
<br />
* Phone : (+33) 03 68 85 45 52<br />
* E-mail : Eric.Violard@inria.fr<br />
<br />
=== Research interests ===<br />
<br />
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. <br />
<br />
Keywords: Parallel programming model - Semantics of programming languages - Code transformations - Parallel algorithmics <br />
<br />
=== Research projects ===<br />
<br />
I am a permanent member of the INRIA project CAMUS [http://icube-icps.unistra.fr/index.php/Compilation_and_Program_Optimization_-_EPI_CAMUS]. My most recent works are about the following issues :<br />
<br />
* The experimental language WAVE [http://wave.gforge.inria.fr http://wave.gforge.inria.fr]<br />
* The Multifor syntactic construct semantics<br />
* Polyhedral transformations formalization and proof<br />
<br />
=== Internship offers ===<br />
<br />
* Master 1 (TER) [[M1 internships]]<br />
* Master 2 at ENS Lyon [[M2 internships]]<br />
<br />
=== Publications ===<br />
<br />
My papers can be downloaded from :<br />
* the ICube archive : [http://icube-intranet.unistra.fr/papr/appli.php?author=violard&team=toutes&year=-1&display=rap&Hide=1&search=0 ICube]<br />
* the HAL archive (only some of my papers) : [http://hal.inria.fr/index.php?action_todo=search&submit=1&s_type=simple&submit=1&f%5b0%5d=@*&v%5b0%5d=violard&orderby=DATEPROD&ascdesc=DESC HAL]<br />
<br />
=== Teaching ===<br />
<br />
* Teaching support [http://icps.u-strasbg.fr/%7Eviolard/teaching.html] (These documents will be transferred very soon on the educational moodle platform of the University of Strasbourg)<br />
* Learning Functional Programming (I wrote a book in the collection "Mini Manuel" of the editions DUNOD. It will appear at the beginning of January) <br />
* Educational application (I designed a web application to experiment with lambda-calculus [http://icps.u-strasbg.fr/people/violard/public_html/PF/tools/])</div>Violardhttps://icps.icube.unistra.fr/index.php?title=Sujet_M2_ENS_2013-2014&diff=201Sujet M2 ENS 2013-20142013-11-17T13:21:09Z<p>Violard: Blanked the page</p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Sujet_M2_ENS_2013-2014.pdf&diff=200File:Sujet M2 ENS 2013-2014.pdf2013-11-17T13:19:50Z<p>Violard: Violard uploaded a new version of &quot;File:Sujet M2 ENS 2013-2014.pdf&quot;</p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Sujet_M2_ENS_2013-2014.pdf&diff=199File:Sujet M2 ENS 2013-2014.pdf2013-11-17T13:17:41Z<p>Violard: Violard uploaded a new version of &quot;File:Sujet M2 ENS 2013-2014.pdf&quot;</p>
<hr />
<div></div>Violardhttps://icps.icube.unistra.fr/index.php?title=File:Sujet_M2_ENS_2013-2014.pdf&diff=198File:Sujet M2 ENS 2013-2014.pdf2013-11-17T12:51:47Z<p>Violard: Violard uploaded a new version of &quot;File:Sujet M2 ENS 2013-2014.pdf&quot;</p>
<hr />
<div></div>Violard