









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
3-shake Inc. - Sreake
Application Development Support (Full Stack)
Supporting application development and helping teams establish cloud-native development processes.
Sonicmoov Co., Ltd. - Solution Division
Software Engineer (Web Backend / Public Cloud)
Engaged in contract development of web applications and modernization of legacy systems.
Education
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.
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.
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 Developer
Professional Data Engineer
Professional Cloud DevOps Engineer
Professional Security Engineer
Associate Cloud Engineer
Associate Google Workspace Administrator
Associate Data Practitioner