Difference between revisions of "Main Page"
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.
