Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
Mickaël Ly
Astcort
Currently post-doc at ISTA
-
PhD from Inria Grenoble - Rhône-Alpes
Institute of Science and Technology Austria