Skills
Tech Stack
Java C# ANSI C PHP git
Tools & Environments
ESXi Win Server Linux Eclipse VS Docker
Natural Languages
Japanese [JLPT N1] (2015) English [TOEIC 945] (2014) Chinese [Native]
Education
National Taiwan University
Information Management • Master • 2014 - 2020
Thesis: Translation of PSL Formulae for Automata-based Verification
National Chengchi University
Management Information Systems • Bachelor • 2010 - 2014
Awards
Knowledge Area
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.
Miscellaneous
Git, Text Mining, DNS/Domains, Penetration Testing
During implementations of projects above I also learned the skill of managing workflows. Also, to ensure safety for my servers I do self penetration testing over possible vulnerabilities. F, all servers under my management
survived the WannaCry attack, while the laboratory next door was devastated.
Projects
GOAL
A graphic tool for manipulating omega-automata and logic formulae, as well as conversion.
BunnySave
An E-Commerce product comparison suite. Based on Java and Apache Lucene.
Work Experiences
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.
Teaching Assistant • National Taiwan University
Sep. 2014 - Jun. 2018
Supports teaching, grading, homework review, workstation environment maintenance for:
Algorithms, Theory of Computing, Information Security, Software Developing Methods.
Campus Club Experiences
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.
Activities Lead • NCCUAC
Aug. 2011 - Jul. 2012
Volunteer. Planned and held in-club and inter-club activities such as parties, collaborate artwork exhibitions and member travel. Custom apps are written to support specific events.
