Rémi Germe

I'm a master student interested in programming languages and formal verification. I'm actively looking for a PhD position involving these topics.

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

• Jonáš Fiala, Marco Eilers, Peter Müller @ ETH Zürich
  Idiomatic specification of magic wands in implicit dynamic frames (report, slides - to be published, alternative slides (more complete), github 1, github 2)
• Flavien Solt, Chris W. Fletcher @ UC Berkeley
  Certificate-Based Combinational Equivalence Checking (report, slides (in French), github 1)
  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)