STATOR stator http://stator.imag.fr/w/index.php/Main_Page MediaWiki 1.34.1 first-letter Media Special Talk User User talk STATOR STATOR talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Gadget Gadget talk Gadget definition Gadget definition talk 0 1 256 255 2017-02-10T13:18:30Z Laure Gonnord 4 wg wikitext text/x-wiki ==The STATOR project== [[Image:ERC acronym.pdf|150px|right]] '''STATOR''' is a 5-year research project funded by the [[wikipedia:European Research Council|European Research Council]], an organisation established by the [[wikipedia:European Union|European Union]]. [[Image:Flag of Europe.svg||40px]] ' 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]]. See other [[members]]. 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== [[Image:Logo VERIMAG vectorise.svg|100px]] [[Image:UJFquadriBaseGauche.png|180px]] [[Image:WEB CNRS-filaire-Quadri.jpg|80px]] '''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]] f3urx6neaoul46tvus6r73lupbp7dht