Direct access to content


French version


LURPA > Previous organization > ISA team

Gregory FARAUT

Ass. Professor at ENS Cachan
  • Lectures into Mechanical Department
    • Theory of Control
    • Python Programming
    • Signal Processing
    • Robotics Project
  • Researcher into LURPA
    • Identification
    • Formal Verification
    • Smart Home
    • Ambient assisted Living
    • Workflow Mining
    • Theorem Proving
 Grégory FARAUT

Research Interests

The goal of my research is improving the safety of systems by formal methods as synthesis, verification or theorem proving for the Discret Event Systems (DES). My firsts interests were focused on mode management in using Supervosiry Control Theory. More recently, my works concerns smart home topic, oriented to dependent people. These works focus the safety on people, regards to their location and their activities. Methods use are Identification, and Workflow mining.

Supervised PhD or Master Students

Current Students
  • Jérémie Saives, "Distributed Identification for Concurrent discret event systems " (PhD Student 2013-2016)


  • Clément Pianon, "Activities of Daily living detection based on automata", ENS Cachan 2014 (Master Intership)
  • Jérémie Saives, "Temporal Modelisation of Acticities Daily Living", ENS Cachan 2013 (Master Intership)
  • Raouf Boussif, "Realization of model-check for verification VHDL code with PSL Specification", ENS Cachan/EDF R&D 2013 (Master Intership)
  • Antoine Butez, "Using SCT to model pro-active smart home", ENS Cachan 2012 (Master Intership)

Animation of scientific community

  • Co-Chair of the Technical Comittee (TC) : "Automation in Health Care Management"  for IEEE Robotics & Automation Society (Link to the TC-Website)
  • Project on Healthcare (with Maria Pia Fanti of Polytecnico di Bari and Walter Ukovich of Trieste University, Italy) : « Advanced IT platform enabling well being and healthcare at home : healthyHome ».
  • Reviewer for many International Conferences : ETFA, CASE, DCDS, ECC, IROS, Incom, MED, and for french scientific journal : JESA

in ENS Cachan

Responsible for Master students' internship (
for the Mechanical Department since October 2011)


61 avenue du Président Wilson
94235 CACHAN Cedex
33 (0) 147 402 413

Current Projects

  • Ambient Assisted Living

Another professional webpage

  • Contact by ENS Cachan