岡部 究

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

Responsibilities: * Technical support for Linux distribution and open-source software

Responsibilities: * Entrusted development of web applications Key Achievements: * Published a payment application running on Android tablet designed with Kotlin language

Responsibilities: * Technical support for NXP Microprocessors Key Achievements: * Supported audio application using Yocto Linux and Android platform

Responsibilities: * Maintained an ERP web application using PHP, Zend Framework, JavaScript, MySQL, and AWS

Responsibilities: * Researching and developing Ajhc Haskell Compiler http://ajhc.metasepi.org/ * ATS language http://www.ats-lang.org/ evangelist for embedded devices

Responsibilities: * Porting a machine learning called ``reservoir computing'' onto ARM Cortex-M MCU" * Porting the machine learning onto Android platform

Responsibilities: * Researched and developed new software platform for wire bonding during semiconductor device fabrication

Responsibilities: * Researched and developed new Secure-OS for ARM Cortex-M platform

Responsibilities: * Researched functional programming for embedded platform Key Achievements: * Published some research papers http://www.metasepi.org/papers.html

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

Responsibilities: * Technical support for stock chart application using JavaScript * Maintained MySQL database servers * Manager for offshore development in China

Responsibilities: * Developed an OpenFlow application named ``OpenVNet'' https://github.com/axsh/openvnet

Responsibilities: * Developed own Digital Signage platform running on Intel architecture using Linux OS, C++, OpenGL, GTK+ and GStreamer * Supported and debugged own Linux distribution

Responsibilities: * Developed own platform for multi-function printer based on NetBSD OS