Difference between revisions of "Partners"

From VERASCO
Jump to navigation Jump to search
(Add me)
 
(11 intermediate revisions by 4 users not shown)
Line 2: Line 2:
  
 
==INRIA Paris Rocquencourt==
 
==INRIA Paris Rocquencourt==
[[File:Logo INRIA.svg|240px]] [[Image:CNRS-inter-Quadri fixed.pdf|120px]]
+
[[File:Logo INRIA sc.jpg|240px]] [[File:Logo ens new.jpg|120px]] [[Image:CNRS-inter-Quadri fixed.pdf|100px]]
  
 
Two research teams of the INRIA Paris-Rocquencourt center are involved in Verasco: [http://gallium.inria.fr/ Gallium] and [http://www.inria.fr/equipes/abstraction Abstraction].
 
Two research teams of the INRIA Paris-Rocquencourt center are involved in Verasco: [http://gallium.inria.fr/ Gallium] and [http://www.inria.fr/equipes/abstraction Abstraction].
Line 9: Line 9:
 
* [http://gallium.inria.fr/~xleroy Xavier Leroy], INRIA senior research scientist, coordinator
 
* [http://gallium.inria.fr/~xleroy Xavier Leroy], INRIA senior research scientist, coordinator
 
* [http://www.di.ens.fr/~feret/ Jérôme Feret], INRIA research scientist
 
* [http://www.di.ens.fr/~feret/ Jérôme Feret], INRIA research scientist
* Jacques-Henri Jourdan, graduate student, ENS Paris
 
 
* [http://www.di.ens.fr/~rival/ Xavier Rival], INRIA research scientist
 
* [http://www.di.ens.fr/~rival/ Xavier Rival], INRIA research scientist
 +
 +
Participants:
 +
* Jacques-Henri Jourdan, Ph.D. student
 +
* Valentin Robert, research programmer
 +
  
 
==Airbus==
 
==Airbus==
Line 16: Line 20:
  
 
[http://www.airbus.com Airbus] [http://www.airbus.com/support/training/avionics/ avionics and simulation products] is a unit of '''Airbus''', a leading aircraft manufacturer. It designs and manufactures avionics systems, including [[wikipedia:fly-by-wire|fly-by-wire]] controls.
 
[http://www.airbus.com Airbus] [http://www.airbus.com/support/training/avionics/ avionics and simulation products] is a unit of '''Airbus''', a leading aircraft manufacturer. It designs and manufactures avionics systems, including [[wikipedia:fly-by-wire|fly-by-wire]] controls.
 +
 +
Investigator:
 +
* Jean Souyris, leader of Research and Technological Development on formal program analysis within Airbus
 +
  
 
==Université Rennes I==
 
==Université Rennes I==
Line 29: Line 37:
 
* Prof. [http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (site coordinator)
 
* Prof. [http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (site coordinator)
 
* INRIA researcher [http://www.irisa.fr/celtique/pichardie// David Pichardie]
 
* INRIA researcher [http://www.irisa.fr/celtique/pichardie// David Pichardie]
 +
 +
Participants:
 +
* [http://www.irisa.fr/celtique/demange/ Delphine Demange], lecturer
 +
* [http://people.irisa.fr/Vincent.Laporte Vincent Laporte], Ph.D. student
 +
* [http://www.irisa.fr/celtique/maroneze/ Andre Oliveira Maroneze], Ph.D. student
 +
  
 
==VERIMAG==
 
==VERIMAG==
Line 39: Line 53:
 
Investigators:
 
Investigators:
 
* Prof. [http://www-verimag.imag.fr/~corbinea/ Pierre Corbineau]
 
* Prof. [http://www-verimag.imag.fr/~corbinea/ Pierre Corbineau]
* CNRS researcher [http://www-verimag.imag.fr/~monniaux/ David Monniaux] (site coordinator)
+
* CNRS researcher Dr [http://www-verimag.imag.fr/~monniaux/ David Monniaux] (site coordinator)
* Prof. [http://www-verimag.imag.fr/~perin/ Michaël Périn]
+
* Lecturer [http://www-verimag.imag.fr/~perin/ Michaël Périn]
 +
* Lecturer [http://www-verimag.imag.fr/~boulme/ Sylvain Boulmé]
 +
 
 +
Participants:
 +
* Ph.D. student Alexis Fouilhe
 +
 
 +
Related wiki pages:
 +
* [[Verimag works in progress]]
  
 
==INRIA Saclay==
 
==INRIA Saclay==
[[File:Logo INRIA.svg|240px]]
+
[[File:Logo INRIA sc.jpg|240px]]
 +
 
 +
INRIA Saclay Ile-de-France research center, [http://toccata.lri.fr/ Toccata] team (ex-Proval team).
 +
 
 +
Investigators:
 +
* [http://www.lri.fr/~melquion/ Guillaume Melquiond], INRIA research scientist, site leader
 +
* [http://www.lri.fr/~sboldo/ Sylvie Boldo], INRIA research scientist
 +
 
 +
Participant:
 +
* [http://erik.martin-dorel.org/ Erik Martin-Dorel], INRIA postdoctoral researcher

Latest revision as of 10:35, 26 June 2014

Project VERASCO is coordinated by INRIA senior researcher Xavier Leroy.

INRIA Paris Rocquencourt

Logo INRIA sc.jpg Logo ens new.jpg File:CNRS-inter-Quadri fixed.pdf

Two research teams of the INRIA Paris-Rocquencourt center are involved in Verasco: Gallium and Abstraction.

Investigators:

Participants:

  • Jacques-Henri Jourdan, Ph.D. student
  • Valentin Robert, research programmer


Airbus

AIRBUS logo blue horizontal.png

Airbus avionics and simulation products is a unit of Airbus, a leading aircraft manufacturer. It designs and manufactures avionics systems, including fly-by-wire controls.

Investigator:

  • Jean Souyris, leader of Research and Technological Development on formal program analysis within Airbus


Université Rennes I

Logoirisa2010hd.jpg Univ-rennes1-new.jpg File:CNRS-inter-Quadri fixed.pdf

The IRISA laboratory is a joint research unit (UMR 6074), including CNRS, University of Rennes 1 (main partner) Université Rennes 1, INSA Rennes and ENS Cachan (Brittany site). IRISA, laboratory associated with INRIA, has numerous common teams with INRIA Rennes – Bretagne Atlantique research center.

Investigators:

Participants:


VERIMAG

Logo VERIMAG vectorise.svg UJF1.svg File:CNRS-inter-Quadri fixed.pdf

The VERIMAG laboratory is a joint laboratory of CNRS (the French National center for scientific research) and Université Joseph Fourier (Grenoble). VERIMAG is located in Gières, a suburb of Grenoble.

Investigators:

Participants:

  • Ph.D. student Alexis Fouilhe

Related wiki pages:

INRIA Saclay

Logo INRIA sc.jpg

INRIA Saclay Ile-de-France research center, Toccata team (ex-Proval team).

Investigators:

Participant: