Shun Kashiwa

Master's Student in Computer Science / Software Engineer

image

Hi! I'm Shun Kashiwa, and I'm currently a first-year master's student at the University of California, Santa Cruz.

I am interested in making reliable software and currently exploring fields of programming languages and formal methods.

I have experience in web development and am skilled in designing and developing modern web front-ends. I am also a hobby iOS developer and published several apps on the App Store.


Research

Scenic

UC Santa Cruz | January 2022 - Present

Involved in the development of the Scenic programming language. Proposed a new syntax for describing requirements using linear temporal logic and implemented the prototype. Also wrote a new parser and compiler that constructs the language's abstract syntax tree and compiles it to executable Python AST.

Popper

UC Santa Cruz | June - September 2021

Contributed to the open-source project Popper: a container-native task engine, as part of the Open-Source Research Experience Program. Added a new feature that allows developers to convert Popper's workflow definitions to other formats. Presented at CROSS Research Symposium 2021 (Video).

Work Experiences

Software Engineer, Intern

Recruit | August - September 2020

Worked for Hot Pepper Beauty Cosme: a user-generated cosmetics review website. Improved server response time by 200ms by optimizing React's server-side rendering process; accomplished a better user experience and reduced the use of server resources. Blog Post (Japanese).

Part-time Frontend Engineer

atena | 2020 - 2022

Led the frontend development of atena - digital mailbox where users can browse postal mails online. Was responsible for the redesign of user console and architected the web application using React, Next.js, styled-components, Storybook, Jest, SWR, etc.

Software Engineer, Intern

M3 | July - August 2019

Participated in the development of Docpedia: Q&A website for medical professionals. Created specifications, designed APIs and implemented the back-end and front-end for users' profile screen. Blog Post (Japanese).

Software Engineer, Intern

Mercari | August 2018

Added new features to Mercari: the most popular C2C e-commerce app in Japan with 10M+ monthly active users. Used modern technologies such as TypeScript, React, Jest, and Storybook to write maintainable code. Analyzed user-events through BigQuery and Kibana and made data-driven decisions.

Projects

Svadilfari

Open Source

Built an iOS app that extends the Safari browser and brings gesture control. Downloaded for more than 50,000 times. Featured at the Apple App Store multiple times ( Best Apps and Games of September 2021, Get Started With Safari Extensions). Source code at GitHub.

University Service

Undergraduate Tutor

UC Santa Cruz

Worked as an undergraduate tutor for CSE 138: Distributed Systems in Fall 2021 and CSE 114A: Foundations of Programming Language in Spring 2022. Hosted tutoring sessions and helped students on concepts and assignments.