About Me
As a software engineer, I specialize in application development and supporting organizations in bringing their development processes in-house. My work spans the full spectrum—from application coding to public cloud infrastructure. Recently, I've been focused on putting DevOps practices into action.
I have a strong interest in the theoretical side of computing—fields like theoretical computer science, mathematical logic, and functional programming—which help uncover the "black box" mechanisms behind the tools we use. My favorite programming language is Standard ML (that's Meta Language, not Machine Learning!).
I deeply respect programming languages and tools that are kind to people (both developers and users) and the communities that have nurtured them. Supported by the open-source ecosystem, my goal is to give back to the community as much as I have gained.
Experience
3-shake Inc. - Sreake
Application Development Support (Full Stack)
Providing hands-on support for application development and facilitating the internalization (in-housing) of cloud-native development processes for client teams.
Sonicmoov Co., Ltd. - Solution Division
Software Engineer (Web Backend / Public Cloud)
Engaged in client-facing web application development and led the modernization of legacy systems (system replacement/refactoring).
Education
Graduate School of Science and Technology, Niigata University
Master of Engineering
Researched the foundational theory of programming languages, specifically investigating the computational properties of Term Rewriting Systems.
Faculty of Engineering, Department of Information Engineering, Niigata University
Bachelor of Engineering
Studied Computer Science systematically, with a passion not just for writing code, but for understanding the underlying mechanisms of computers.
Fukushima Prefectural Asaka Senior High School
Publications
Master's Thesis: Nominal Rewriting with Permutation Fixed Point Constraints
View details
A study on the properties of a computational model known as the Nominal Rewriting System. Also presented at PPL 2022 (Programming and Programming Languages Workshop).
Certifications
Google Cloud Certifications
Professional Cloud Architect
Professional Cloud Database Engineer
Professional Cloud Developer
Professional Data Engineer
Professional Cloud DevOps Engineer
Professional Security Engineer
Associate Cloud Engineer
Associate Google Workspace Administrator
Associate Data Practitioner
Cloud Digital Leader
