@fortunan

a developer of embedded computer programming. skill:C, C++, ruby, java, processing. recently interest: haskell(still learning), coq(not yet),Erlang(not yet)

I'm a network designer.I work on TOPPERS SmallestSetProfile Kernel,MISRA-C, STARC RTL Design StyleGuide (Verilog-HDL),HAZOP,ISO/IEC15504(AutomotiveSPICE),ISO26262. I was an editor on ISO/IEC 15504.