Difference between revisions of "Main Page"

From STATOR
Jump to navigation Jump to search
m
m (wg)
 
(6 intermediate revisions by 2 users not shown)
Line 4: Line 4:
 
'
 
'
  
It focuses on developing new methods for static analysis of software — that is, mathematically and automatically proving that software behaves in the desired way.
+
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|Dr David Monniaux]], senior researcher at [[wikipedia:CNRS|CNRS]].
+
The project is led by [[User:David Monniaux|Dr David Monniaux]], senior researcher at [[wikipedia:CNRS|CNRS]]. See other [[members]].
  
 
For more detail, see [[:File:STATOR PE6 306595 description of work shortened.pdf|description of work]].
 
For more detail, see [[:File:STATOR PE6 306595 description of work shortened.pdf|description of work]].
 +
 +
==Work openings==
 +
* [[Hiring/BDDPolyhedra|PhD on BDD+polyhedra]]
 +
 +
== Reading group==
 +
[[VerifGroup|Reading Group (Grenoble/Lyon)]]
  
 
==Laboratory==
 
==Laboratory==
Line 15: Line 21:
 
[[Image:WEB CNRS-filaire-Quadri.jpg|80px]]
 
[[Image:WEB CNRS-filaire-Quadri.jpg|80px]]
  
'''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 [[wikipedia:Grenoble|Grenoble]], France.
+
'''STATOR''' is hosted at [[VERIMAG]], a joint research laboratory of CNRS and [[wikipedia:Université Joseph Fourier|Université Joseph Fourier]] in [[wikipedia:Grenoble|Grenoble]], France.
  
 
[[File:Grenoble from Moucherotte IMG 0861 tuned.jpg|800px]]
 
[[File:Grenoble from Moucherotte IMG 0861 tuned.jpg|800px]]

Latest revision as of 14: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. 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

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