Giorgio Ciacchella

https://cggg.io

Genova, Italy I like applications of model-based engineering and formal methods to safety-critical embedded systems for space applications. Sometimes my @guorbit code flies!