Rémi Germe

I'm a master student interested in programming languages and formal verification. I'm actively looking for a PhD position involving one or two of these subjects.

I also love mountains and enjoy climbing there. Or hiking. Or mountaineering. Or just be there.

Check out my blog where I sometimes post about these topics.

Projects and People

Some people I've had the pleasure to work with as a student (more recent first):

Flavien Solt, Chris W. Fletcher @ UC Berkeley
Certificate-Based Combinational Equivalence Checking (github 1, more info to be published - contact me for details)
My work received a certificate of commendation ("Félicitation") awarded by the Polytechnique research internship awards jury.
Samuel Mimram @ École polytechnique
Extensional Equalities in Combinatory Logic and Lambda Calculus (github)
Esther Goudet, Jean-Marc Daveau, Philippe Roche @ STMicroelectronics
High Reliability SoC: Probabilistic Analysis of Fault Propagation in Combinatorial Circuits (proprietary)
Adeline Roux-Langlois @ École polytechnique (remote)
Implementation of an Original Ciphertext Policy Attribute Based Encryption (CP-ABE) Cryptographic Scheme (github)