Kiwamu Okabe
METASEPI DESIGN / Freelance Researcher横浜市
Discover companies you will love
METASEPI DESIGN / Freelance Researcher
Available to logged-in users only
これまでのキャリアでは主に組み込みプラットフォームの構築に重みをおいてきました。その中で様々な組み込み機器の不具合を体験し「組み込みソフトウェアにおける不具合の低減」が必要だと痛感するようになりました。 そのような不具合低減の手法について、個人的に研究開発した結果を論文にし
Responsibilities: * Improving the quality of open source OS Key Achievements: * Found the root causes of FreeBSD OS bugs and vulnerabilities with SRE postmortem style, and avoided them with ATS and VeriFast
View Kiwamu Okabe's
Full Profile
View past posts
View mutual connections
View Kiwamu Okabe's full profile