Rehan MALAK
blog : NombresFormesMesures
Employment
2024-today
CryptoNext, Paris : Cryptography Research & Software Development
QuantumSafeLibrary Magma/Sagemath Symbolic algebra implementation C Constant-time implementation
2022-2024
IntrinsicID/Synopsys, Eindhoven : Cryptography Research & Software Development
Zign C development and integration of the SRAM-PUF Zign library in MCUBoot / MbedTLS
2018-2021
INRIA, Paris & Saclay & Lille : Software Engineer
Whisper C Linux kernel
Deducteam Ocaml Lambdapi
Toccata C C++ Why3
Fun C Contiki-NG
2017
MILIBOO, New York City : Software Engineer
Ekko C C++ U-boot, Linux kernel
Education
2012-2016
CEA, Saclay : PhD Quantum Field Theory and High-Performance Computing
C C++ Python
2009-2011
Paris-Saclay University MSc Mathematics
2007-2009
Paris-Sorbonne University BSc Mathematics
Languages
- Python/Sage
- Magma/PariGP
- C/C++
- Ocaml
PhD Thesis
Lattice QCD
Leading-order HVP contribution to the anomalous magnetic moment of the muon in LQCD (Slides)
Publications, Conferences
Type Theory
R.M. , Digicosme
Dedukti 3 proof-mode with unification goals
B. Barras, R.M. , Types2020
A Semi-simplicial Model of System F in Dependent Type Theory Modulo Rewriting
A. Blanchard, A. Puccetti, G. Eberhardt, N. Mitton, R.M. , Vessedia
Verification engineering of safety and security critical dynamic industrial applications : report
Lattice QCD
S. Borsanyi et. al., Phys. Rev. Lett. 121 , no. 2 022002
HVP contribution to the anomalous magnetic moments of leptons from first principles
S. Borsanyi et. al., Phys. Rev., D96, no. 7 074507
Slope and curvature of the hadron vacuum polarization at vanishing virtuality from lattice QCD
R.M. , Z. Fodor, C. Hoelbling, L. Lellouch, A. Sastre, K. Szabo, PoS, LATTICE2014 161
Finite-volume corrections to the leading-order hadronic contribution to gμ-2
E. B. Gregory, Z. Fodor, C. Hoelbling, S. Krieg, L. Lellouch, R.M. , C. McNeile, K. Szabo, PoS, LATTICE2013 302
Leading-order hadronic contributions to gμ−2
S. Dürr et al. Phys.Rev., D90, no. 11 114504
Lattice QCD at the physical point meets SU(2) chiral perturbation theory