Skip to content

François Dupressoir

  • Post-Doctoral Researcher
  • IMDEA Software Institute
  • 3PublicationsNumber of items in François's My Publications folder on Mendeley.
  • 2Followers

Recent publications

  • Guiding a general-purpose C verifier to prove cryptographic protocols

    • Dupressoir F
    • Gordon A
    • Jürjens J
    • et al.
    N/AReaders
    N/ACitations
  • Guiding a general-purpose C verifier to prove cryptographic protocols

    • Dupressoir F
    • Gordon A
    • Jürjens J
    • et al.
    N/AReaders
    N/ACitations

Professional experience

Post-Doctoral Researcher

IMDEA Software Institute

October 2012 - Present

Ph.D. Student

Open University

October 2008 - September 2012(4 years)

Ph.D. Intern

EMIC, Microsoft Research

April 2010 - July 2010(3 months)

Education

Ph.D. in Computer Science

Open University

October 2008 - May 2013(5 years)

M.Sc. in Computer Science

École Normale Supérieure de Cachan - Antenne de Bretagne

September 2007 - September 2008(a year)

University of Calgary

September 2006 - August 2007(a year)

B.Sc. in Computer Science

Ecole normale supérieure de Lyon

September 2005 - August 2006(a year)

CPGE, Lycée Joffre

September 2002 - August 2005(3 years)

Followers (2)

Following (1)