- Jobs
ResumeCreate your job-winning resume using our free resume builder.
PortfolioShowcase your skills and projects with a professional portfolio.ResumeCreate your job-winning resume using our free resume builder.Resume BuilderMake a resume for free.Resume TemplatesAccess our extensive library of professional & ready-to-use templates.Resume ExamplesGet inspired by real resume examples to create your own.Occupation GuideAccess resume writing guides tailored for different professions.Resume HelpGet expert advice on all things resume from our team of recruitment specialists.- ResourcesSuccess StoriesBusiness ExcellenceAbout CakeResumeFeatured Reads
- Hire
- Download our App
CakeResume Talent Search
The Most Lightweight and Effective Recruiting Plan
Search resumes and take the initiative to contact job applicants for higher recruiting efficiency. The Choice of Hundreds of Companies.
- Browse all search results
- Unlimited access to start new conversations
- Resumes accessible for only paid companies
- View users’ email address & phone numbers
Definition of Reputation Credits
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.
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.