Difference between revisions of "Main Page"
Jump to navigation
Jump to search
(BDD Polyhedra) |
m (wg) |
||
(2 intermediate revisions by the same user not shown) | |||
Line 12: | Line 12: | ||
==Work openings== | ==Work openings== | ||
* [[Hiring/BDDPolyhedra|PhD on BDD+polyhedra]] | * [[Hiring/BDDPolyhedra|PhD on BDD+polyhedra]] | ||
+ | |||
+ | == Reading group== | ||
+ | [[VerifGroup|Reading Group (Grenoble/Lyon)]] | ||
==Laboratory== | ==Laboratory== |
Latest revision as of 15:18, 10 February 2017
The STATOR project
Error creating thumbnail: File missing
STATOR is a 5-year research project funded by the European Research Council, an organisation established by the European Union.
'
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
Laboratory
Error creating thumbnail: File missing
Error creating thumbnail: File missing
Error creating thumbnail: File missing
STATOR is hosted at VERIMAG, a joint research laboratory of CNRS and Université Joseph Fourier in Grenoble, France.
Error creating thumbnail: File missing