Philippe Schnoebelen

Senior Researcher, CNRS

• Selected Publications
• To Know More

• I am currently visiting the Verification Group at Oxford.

• Taming hard reachability problems: the ReachHard project started in September 2011. We are currently looking for PhD candidates.

• Pour l'année 2011-12, je propose un sujet de M2 intitulé Post Embedding Problems, Dickson's Lemma, and Master Problems for Monotonic Counter Systems, co-encadré par Sylvain Schmitz et bi-localisé à Cachan (principal) et Oxford (secondaire).

• The Regular Post Embedding Problem.

• Temporal logic with past is exponentially more expressive.

• Un lien vers le site de la section 7 du comité national (de la recherche scientifique).

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique