Kiwamu Okabe
METASEPI DESIGN / Freelance Researcher横浜市
Kiwamu Okabe
METASEPI DESIGN / Freelance Researcher
Connect to learn more
You'll be able to see their introduction and other information once they have accepted your connection request.
- Debian Maintainer
* Maintained uim package at Debian squeeze, and packages using Haskell at sid.
- Ajhc Haskell compiler
* Extend and add embedded features to Jhc Haskell Compiler http://repetae.net/computer/jhc/ . * Ajhc has thread-safe and reentrant runtime. Also has Erlang style GC. It means Ajhc's Haskell context has own GC heap. GC can run on tiny CPU such as Cortex-M3 with 32kB RAM.
Ambition
In the future
これまでのキャリアでは主に組み込みプラットフォームの構築に重みをおいてきました。その中で様々な組み込み機器の不具合を体験し「組み込みソフトウェアにおける不具合の低減」が必要だと痛感するようになりました。 そのような不具合低減の手法について、個人的に研究開発した結果を論文にし
METASEPI DESIGN2 years
Freelance ResearcherPresent
- Present
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
VA Linux Systems Japan K.K.8 months
Cloud Infrastructure Expert
-
Responsibilities: * Technical support for Linux distribution and open-source software
Systemi.co.ltd6 months
Systems Engineer
-
Responsibilities: * Entrusted development of web applications Key Achievements: * Published a payment application running on Android tablet designed with Kotlin language
NXP Japan Ltd.7 months
Systems & Applications Engineer
-
Responsibilities: * Technical support for NXP Microprocessors Key Achievements: * Supported audio application using Yocto Linux and Android platform
Donuts Co. Ltd.5 months
Software Engineer
-
Responsibilities: * Maintained an ERP web application using PHP, Zend Framework, JavaScript, MySQL, and AWS
METASEPI DESIGN8 years
Freelance Researcher
-
Responsibilities: * Researching and developing Ajhc Haskell Compiler http://ajhc.metasepi.org/ * ATS language http://www.ats-lang.org/ evangelist for embedded devices
- Japan ATS User Group
* An user group for ATS language promotion of utilization. Translating ATS documents into Japanese.
QuantumCore CORPORATION6 months
Software Engineer(Side)
-
Responsibilities: * Porting a machine learning called ``reservoir computing'' onto ARM Cortex-M MCU" * Porting the machine learning onto Android platform
SHINKAWA LTD.6 months
Software Architect
-
Responsibilities: * Researched and developed new software platform for wire bonding during semiconductor device fabrication
SELTECH CORPORATION1 year
Expert Engineer
-
Responsibilities: * Researched and developed new Secure-OS for ARM Cortex-M platform
RIKEN Advanced Institute for Computational Science4 years
Part-time Researcher(Side)
-
Responsibilities: * Researched functional programming for embedded platform Key Achievements: * Published some research papers http://www.metasepi.org/papers.html
Life Robotics Inc.1 year
Software Engineer
-
Responsibilities: * Developed GUI application running on Ubuntu OS, using C++ and Qt https://www.qt.io/ for single arm robot Key Achievements: * Designed a network protocol for the robotics application
Centillion Japan Co., Ltd.1 year
System Enginner
-
Responsibilities: * Technical support for stock chart application using JavaScript * Maintained MySQL database servers * Manager for offshore development in China
Axsh co., LTD.4 months
Software engineer
-
Responsibilities: * Developed an OpenFlow application named ``OpenVNet'' https://github.com/axsh/openvnet
MIRACLE LINUX CORPORATION1 year
Software Engineer
-
Responsibilities: * Developed own Digital Signage platform running on Intel architecture using Linux OS, C++, OpenGL, GTK+ and GStreamer * Supported and debugged own Linux distribution
Ricoh Company, Ltd.11 years
Software Development Engineer
-
Responsibilities: * Developed own platform for multi-function printer based on NetBSD OS
