Profile

  • Over 7 years of experience in software engineering.

Experience

Lead Software Engineer, Data Platform, Viagate

Apr 2023 — Aug 2023, Tokyo, Japan

  • Built entirely from scratch on AWS, from network to authentication and authorisation infrastructure, DB, storage, API and data pipeline. Coded and managed in a re-executable and replicable manner.
  • Provides a cost-effective data infrastructure architecture to withstand future time-series data spikes, using the Apache Parquet file format, the Polars data processing library and the Event Bus service for event-driven processing of data ingestion, aggregation, compression and query execution from the edge. Provides a time-series data infrastructure with minimal RDB dependencies.
  • Design all database schemas, APIs and storage hierarchies. Defined understandable, consistent and highly applicable interfaces across the entire data infrastructure. Protocol Buffers were also introduced on iOS and the web to ensure schema consistency and reduce the volume of time-series data through binary formatting.
  • Maintained PostgreSQL on Aurora, leading the back-end team in API development that fully utilised PostgreSQL functions and features, including JSONB types. Worked with DB specialists to quickly implement a technical research report-driven development structure based on Jupyter Notebook format + GitHub, including functions such as user segments that require a high level of logical and performance design. Ensured well-planned and stable deployment of advanced feature sets in a start-up environment.
  • Video and image processing using Python and OpenCV. Overlaid images of the output results of time-series data aggregation processes are generated and provided to the client at the front-end.
  • Create local SQL development and unit test environments with Docker Compose and JupyterLab. Provide them to your team to speed up development.

Utilised: AWS, PostgreSQL, Python

Founder, Software Engineer, Synthetic

Dec 2020 — Present, Tokyo, Japan

  • Researching database and text search system for mathematical formulae.
  • Developing regular expression/proof search engine.
  • Developed encoder and decoder for a new data format called KDL. This is open-sourced.
  • Designed and developed build system and file format suitable for mathematical content management.
  • Designed, built and launched website.

Utilised: Rust, React/Next, MathML

Lead Software Engineer, Delipicks

Jun 2019 — May 2020, Tokyo, Japan

A food delivery startup. Joined 6 months after launch.

  • Analysed and defined business requirements. Simultaneously developed business processes and information systems, with the lean agile framework. Estimated reduced costs amount to 12 customer support staff per year.
  • Identified future technical challenges/opportunities that directly define viability and scalability of business model. Conducted technical research and proposed innovative solutions to CEO.
  • Took part in business development lifecycle, from cold calling, to establishing relationships with food suppliers, to rolling out our operations app to their workplaces and staff, to negotiating deliverables.
  • Participated in UX workshops, implemented user interface prototypes and conducted user interviews.
  • Recruited 2 engineers and 1 mathematical optimisation specialist by searching, interviewing, making hiring decisions and onboarding.
  • Led a team of 5 consisting of 2 software engineers, 1 QA, 1 designer and 1 project manager.
  • Managed real-time coordination with customers, suppliers and delivery partners to resolve operational and system issues.
  • Took charge of food curation, writing, food styling and photography direction.

Utilised: GCP, Python, React

Software Engineer, Styler

Aug 2018 — Mar 2019, Tokyo, Japan

Business: A fashion retail platform, connecting online interactions and real-store experience (a.k.a. New Retail, OMO).

  • Built a new team from scratch as part of a team of 6 engineers. Experienced transition from offshore outsourced development to in-house development. Improved deployment frequency from once every 2 weeks to once a week.
  • Led technical decisions on infrastructure, database design and API development.
  • Took initiative in architectural change from a monolithic to SPA + API.
  • Developed categories and tags databases used in the EC platform.

Utilised: GCP, Python, SQL, Kubernetes

Software Engineer, Market Enterprise

Apr 2016 — Dec 2017, Tokyo, Japan

Business: A resale and rental business with complex business operations.

  • Studied many elements of software engineering such as architecture, databases, network protocols, security, Web standards, API design, agile/scrum development, cloud computing, and DevOps.
  • Led project for developing authorisation API for entire organisation. Synthesised CTO's project vision, conducted research and made decision on design. Reduced response latency from 7s in experiment to 0.2s.
  • Took charge of data aggregation and transformation to get insights into user behaviour. Worked closely with a public relations and a fulfilment manager.
  • Implemented web crawlers to build pricing system to be used for data visualisation and sales optimisation.
  • Took charge of full implementation of social sign-in for e-commerce website, ranging from web front-end and server-side to database migration.

Utilised: AWS, Python, SQL, NoSQL

Education

The Open University of Japan, Bachelor's Degree, Liberal Arts

Apr 2012 — Mar 2016, Tokyo, Japan

  • Completed the Psychology and Education course.
  • Earned credits required to graduate in 2 years.

Projects

Activities

I have been intrigued by some types of - foundational – software, for example:

  • cloud infrastructure
  • operating systems, unikernels
  • compilers, proof assistants
  • mathematical optimisation, array/vector programming
  • code editor, translation/refactoring/static analysis/formatting tools.

I have attempted, out of total naivety and also obsession, and failed to rewrite/translate existing open source software. Some examples in the list are:

  • PyPy - a Python runtime with tracing just-in-time compilation which is written in RPython, a static subset of Python 2.x itself. What were unfamiliar: arenas, FFI, stackless.
  • unified - an abstract syntax tree transformer for JavaScript/JSX/HTML/Markdown, written in JavaScript. Now replaced by the novel Rust-rewritten equivalent: SWC
  • OR-Tools - an operations research/mathematical optimisation solver written in C++.
  • Cubical Agda - a proof assistant or dependently typed programming language which is based on cubical type theory - a model of homotopy type theory with function extentionality as a theorem not an axiom - written in Agda/Haskell.
  • MLIR – a higher-level intermediate representation and tools for it, written in C++, which aids transformation and optimisation at more abstract level, later lowered to LLVM IR.

Details

Date of Birth

1991/8/19

Skills

  • Leadership
  • Software Engineering
  • Project Management
  • AWS/GCP
  • Rust
  • Python
  • SQL
  • Linux
  • Docker

Languages

  • Japanese
  • English
  • Ukrainian