Difference between revisions of "Main Page"

From STATOR
Jump to navigation Jump to search
Line 1: Line 1:
[[Image:ERC acronym.pdf|150px]] European Research Council project STATOR
+
==The STATOR project==
 +
[[Image:ERC acronym.pdf|150px]]
 +
'''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|European Research Council]]. It focuses on developing new methods for static analysis of software — that is, mathematically and automatically proving that software behaves in the desired way.
 +
 
 +
The project is led by [[User:David Monniaux|David Monniaux]], senior researcher at [[wikipedia:CNRS|CNRS]].
 +
 
 +
==Laboratory==
 +
'''STATOR''' is hosted at [http://www-verimag.imag.fr/ '''VERIMAG'''], a joint research laboratory of CNRS and [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]] in Grenoble, France.

Revision as of 20:18, 24 October 2012

The STATOR project

Error creating thumbnail: File missing

STATOR is a 5-year research project funded by the European Research Council. It focuses on developing new methods for static analysis of software — that is, mathematically and automatically proving that software behaves in the desired way.

The project is led by David Monniaux, senior researcher at CNRS.

Laboratory

STATOR is hosted at VERIMAG, a joint research laboratory of CNRS and Université Joseph Fourier in Grenoble, France.