Main Page

From STATOR
Revision as of 14:18, 10 February 2017 by Laure Gonnord (Talk | contribs) (wg)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The STATOR project

ERC acronym.pdf

STATOR is a 5-year research project funded by the European Research Council, an organisation established by the European Union. Flag of Europe.svg '

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 Dr David Monniaux, senior researcher at CNRS. See other members.

For more detail, see description of work.

Work openings

Reading group

Reading Group (Grenoble/Lyon)

Laboratory

Logo VERIMAG vectorise.svg UJFquadriBaseGauche.png WEB CNRS-filaire-Quadri.jpg

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

Grenoble from Moucherotte IMG 0861 tuned.jpg