Julien Brunel

Julien Brunel

Research scientist at Onera/DTIM

julien(dot)brunel(at)onera.fr

News

Research interests

  • Logic for computer science
    • temporal / timed logics
    • multi-agent logics
    • model checking
  • Formal approaches to
    • requirements modelling
    • safety analysis of critical systems
    • validation of abstract architecures

Teaching

  • Sofware Validation (with model checking) at ISAE/Supaéro
  • Cyber-physical systems at ISAE/Supaéro
  • Formerly: Java/C/Caml programming, formal specification, language theory (at Université Paul Sabatier and INSA)

Links