Dec. 2014

Cai Wan-Lin Scholarship 
Cathay Life Insurance Charity Foundation

Programming Languages

Java, C#, ANSI C, PHP, Javascript

As well as a bit Golang, Unix Shell, Python, Haskell.

Back-end

PHP: composer
Java: Hadoop, jpf
NodeJS: Express, NPM
Service: OAuth, SAML, LDAP, Payment Gateway

I can create backend system with proper design patterns and separated modules. With different requirements of purposes and/or performance I compare between possible solutions and is able to deliver implementations. Among all modules I concern the most about authentication. For example, I introduced and completed Single Sign On/Off Service for backend system of my campus club NTUCCC, dockerized it, and drew up regulatory policies, while keeping a resilient environment for service extensions.
Sometimes shell script snippets are incorporated to effectively do the job.

Databases

MSSQL, MYSQL, mariaDB

I am familiar to applying business logic into database design with proper SQL queries, even from conceptual entity models to real view. I can compare features between common RDBMS and give suggestions for different use cases. I also have experience on generating reports for evaluations.

Cloud Solutions

GCP, Azure, AWS, docker, ESXi, PVE, OpenStack

To deliver resilient infrastructure for services I touched several public/private cloud solutions. I am certified as Microsoft Azure Fundamentals. Besides, I am able to take advantage of different services, architectures and use cases. Recently I've been studying Kubernetes and its applications.

Model Checking

Automata, Formal Languages

I have experience on translation of PSL formulae, a Hardware Description Language, to automata, as an extension to GOAL. This is useful for model checking and malicious behavior detection. As a result, I have a rough view of compiler mechanism and the ability to formally abstract (part of) a system.

IT Intern  •  Clinico Instrument Co., Ltd.

Jul. 2012 - Aug. 2012

Member of MIS Department. Helping business logic development (such as report generation, database optimization) and CRM introductions in production environment.

IT Lead  •  NTUCCC

Jan. 2018 - now

Volunteer. Develop and maintain digital services in usage, including:
Docker-based site proxy (nginx), cross-platform SSO with LDAP, BBS (pttbbs) in ANSI C.

Lead of Hackathon Competition  •  HackNTU

Nov. 2014 - Aug. 2015

Volunteer. Supported preparation, maintenance of official website and email system and on-site technical inquiries of HackNTU 2015, a campus hackathon with 1000 participants.