jylam

...joined 9 years ago, and has 683 karma

submissions / comments / favourites

Embedded software engineer. Currently formally proving code.

jylam at lnxscene org