Work in the cloud operator team to build distributed system. Primary work experience in custom controller and admission webhook.

Built and maintain a rollout operator from the ground up which enables regional rollout with custom specifications.

Work in the Spark AR Players team.

Develop an iOS app as a central platform for both patients and staff in hospitals to manage their information and relevant actions using SwiftUI and Firebase.

Formalise some mathematics using Lean theorem prover