• Welcome
  • Pablo Rauzy

  • Research
  • Teaching
  • Activism
  • Software
  • Links
  • Miscellaneous
  • Hello! I'm Pablo Rauzy, I suck at baseball and pretty much everything that involves running.

    I'm a computer science post-doc working on formal model for privacy as control.

    I'm mainly interested in using formal methods to build trustable information systems.

    I'm a big advocate for the right to privacy and for the free culture movements.

    I'm working in the Privatics research team at the Inria Rhône-Alpes center in Lyon.

    I like constrained writing and particularly French classical alexandrines and rap lyrics.

    I wish I could spend my life in a hammock under the sun and close to the sea.