Masaki Haga / 芳賀 雅樹

@silasolla

About Me

I'm a software engineer working on application development and helping teams internalize their development processes. My work spans a wide range—from coding applications to managing deployments on public cloud platforms. Recently, I've been particularly interested in cloud infrastructure and putting DevOps practices into action.

I'm also fascinated by the theoretical side of computing—fields such as theoretical computer science, mathematical logic, and functional programming—that help uncover what's often treated as a "black box" in technologies and tools. My favorite programming language is Standard ML (that's Meta Language, not Machine Learning!).

I have deep respect for programming languages and tools that are kind to people—both developers and users—as well as for the communities that have nurtured them. Supported by open-source communities and the broader ecosystem, I hope to give back as much as I've gained by contributing to their growth and development.

Experience

June 2025 - Present

3-shake Inc. - Sreake

Application Development Support (Full Stack)

Supporting application development and helping teams establish cloud-native development processes.

April 2022 - May 2025

Sonicmoov Co., Ltd. - Solution Division

Software Engineer (Web Backend / Public Cloud)

Engaged in contract development of web applications and modernization of legacy systems.

Education

April 2020 - March 2022

Graduate School of Science and Technology, Niigata University

Master of Engineering

Researched the foundational theory of programming languages, focusing on the properties of term rewriting systems.

April 2016 - March 2020

Faculty of Engineering, Department of Information Engineering, Niigata University

Bachelor of Engineering

Studied information engineering comprehensively, developing an interest not only in programming but also in its underlying theoretical foundations.

April 2013 - March 2016

Fukushima Prefectural Asaka Senior High School

Publications

March 2022

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).

Open link

Certifications