Software Engineer & Researcher — Tokyo, Japan (Currently: Osaka) 日本語
About
I am a software engineer with a background in programming language research and full-stack web development.
My research focuses on Software Verification and Testing using Separation Logic — a formal method for proving the correctness of programs involving dynamic memory allocation. I developed a test system that generates test cases for C programs using Separation Logic formulas and SAT solvers to verify pointer memory safety.
Work History
Full-Stack Engineer → Team Lead
Eigyo Mfg Co., Ltd. (Sep 2024 – Present)
- Led feature development for a B2B manufacturing matching platform
- Built a meeting transcription tool and internal data tooling
- Architecture design, code reviews, and team leadership
- NestJS, NextJS, GraphQL, TypeScript, AWS, Terraform
Web Open Engineer
Pricing Studio Co., Ltd. (Mar 2023 – Sep 2024)
- Led frontend planning and full-system architecture for a B2B survey tool
- Built internal web authentication system
- Managed company media, collaborated with marketing and design teams
- Angular, Go (Echo), DynamoDB, AWS, Docker
AI Engineer
AI Infinity Co., Ltd. (Jun 2021 – Jan 2023)
- Led a team of 10 building Speech Recognition (ASR) products for B2B clients
- Delivered ASR + NLP fusion products; client requirements and PoC deployments
- Ruby, PHP, Vue.js, AWS (EC2), WebSocket
Software Development Support
Meetscom Inc. (Mar 2019 – Feb 2020)
- Web development and deployment
- ML sentiment analysis on in-house SNS data
- Vue.js, Swift (Vapor), Node.js, Python (SageMaker, Redshift), AWS
Featured Projects
| Project | Description | Stack |
|---|---|---|
| yakiben | Japanese lunch-box pre-order system — customer & admin apps, PWA | Vue 3, TypeScript, Supabase |
| election-np | Real-time Nepal election dashboard with interactive choropleth map | React, Vite, Supabase, Puppeteer |
| nlp | Japanese profanity filter & sentiment analysis | Python, MeCab, FastText |
| Rnotebook | Software defect analysis & prediction on NASA KC1 dataset | R |
Education
Waseda University — Tokyo, Japan
M.S. in Computer Science (2019 – 2021)
Thesis: Program Testing Using Separation Logic Formula (2020年度 基幹理工学研究科 修士論文 — 情報理工・情報通信専攻)
Research Lab (M.S.): Terauchi Laboratory — Past Students
SJCIT, Visvesvaraya Technological University (VTU) — Bangalore, India
B.E. in Computer Science Engineering (2014 – 2018)
Technical Skills
| Category | Technologies |
|---|---|
| Languages | TypeScript, JavaScript, Python, Go, PHP, Ruby |
| Frameworks | NestJS, NextJS, Angular, Django, Echo, Flutter, Vue.js |
| Cloud & Tools | AWS, Docker, Git, Terraform, Postman, DynamoDB, PostgreSQL |
| Data & Infra | Lakehouse / Big Data, CI/CD |
| Research | Separation Logic, SAT Solvers, Software Verification |
| Human Languages | Nepali (native), Hindi (native), English (fluent), Japanese — BJT J3 / JLPT N2 |
Academic Projects
Program Testing Using Separation Logic Formula (Master’s Thesis, 2020)
Developed a test system that represents C programs as Separation Logic formulas, converts them to first-order logic, and automatically generates test cases using SAT solvers to verify pointer memory safety in programs with dynamic memory allocation.
Software Quality Assurance — Analysis & Prediction (2020)
Analysed software defect metrics on the NASA KC1 dataset using R; built prediction models for software defect classification.
Japanese Profanity Filter — NLP/ML Project (2019)
Built a classifier using web-crawled Japanese text (Reddit, Twitter) and open datasets to detect and filter profane words using MeCab and FastText.
Awards & Highlights
- 🏆 1st Prize — Inter-college Football (SJCIT, 2017 & 2018); 2nd place in 2016
- 🥈 2nd Prize — Inter-college Coding Event (SJCIT, 2016)
- 🔒 Bug Bounty — Reported vulnerability to LinkedIn Security Team → invited to their private HackerOne program (2022)
- 🎓 Student Volunteer — SPLASH’20, ACM SIGPLAN Conference (2020)
- 📋 Organizer — Tech-fest TECHNOTSAV, PEOPLEWARE CLUB (2014–2018)
- 🐍 Workshop — Machine Learning Using Python (2018)
Writing
| 📚 Books | Reading notes & recommendations |
| 🎬 Films | Watches & thoughts |
| ✍️ Poems | Short writings |
| 💻 tech.log | Articles & dev notes |
| 🍳 Cooking | Recipes & food experiments |
→ Also on Hashnode