Ryan Lahfa

Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.