Allez au contenu, Allez à la navigation



Julien Brunel

Julien Brunel

Research scientist at Onera/DTIM

Email: julien(dot)brunel(at)
Tel.: +33 5 62 25 26 81


  • M2 internship subject (in french) on model checking for the verification of requirements models

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




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


Short bio

  • since Oct. 2008 : research scientist at ONERA/DTIM
  • 2008 : post-doctoral research associate at DIKU, University of Copenhagen, Denmark, on the Coccinelle project
  • 2004-2007 : PhD thesis ("Combining Temporal and Deontic Logics for the Specification of Security Policies at IRIT, University of Toulouse with Jean-Paul Bodeveix and Mamoun Filali
  • 2003-2004 : MSc at INPT - ENSEEIH T, Toulouse
  • 2000-2003 : engineer degree in computer science and applied mathematics at ENSEEIHT, Toulouse