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.