Embedded software engineer. Currently formally proving code.

jylam at lnxscene org