@sa__i

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

Languages: Ruby, Swift, Kotlin, Scala, TypeScript, etc... Full stack developer

ナレッジワーク所属。バックエンドエンジニアとして日々Goを書いている。Google Developer Expert (Go)。一般社団法人Gophers Japan代表。Go Conference主催者。大学時代にGoに出会い、それ以来のめり込む。人類をGopherにしたいと考え、Goの普及に取り組んでいる。複数社でGoに関する技術アドバイザーをしている。

ブログ移行しました。 「人と一緒に働くロボット」のUI/UXをつくっています。

A proof developer and functional programmer on Tezos, CEO of proof ninja, Inc.