Gilles Barthe

Person information

  • affiliation: Max Planck Institute for Security and Privacy, Bochum, Germany
  • affiliation (2008 - 2018): IMDEA Software Institute, Spain
  • affiliation (1999 - 2008): INRIA, Sophia-Antipolis, France
  • affiliation (1998 - 1999): University of Minho, Braga, Portugal
  • affiliation (1997 - 1998): Chalmers University, Gothenburg, Sweden
  • affiliation (1995 - 1997): Centrum Wiskunde & Informatica, Amsterdam, The Netherlands
  • affiliation (1993 - 1995): University of Nijmegen, The Netherlands
  • affiliation (PhD 1993): University of Manchester, UK

Refine list

showing all ?? records

2010 – today