Java C# ANSI C PHP git
ESXi Win Server Linux Eclipse VS Docker
Japanese [JLPT N1] (2015) English [TOEIC 945] (2014) Chinese [Native]
Management Information Systems • Bachelor • 2010 - 2014
Programming Languages
As well as a bit Golang, Unix Shell, Python, Haskell.
Back-end
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
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
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
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
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.
A graphic tool for manipulating omega-automata and logic formulae, as well as conversion.
An E-Commerce product comparison suite. Based on Java and Apache Lucene.
Jul. 2012 - Aug. 2012
Member of MIS Department. Helping business logic development (such as report generation, database optimization) and CRM introductions in production environment.
Sep. 2014 - Jun. 2018
Supports teaching, grading, homework review, workstation environment maintenance for:
Algorithms, Theory of Computing, Information Security, Software Developing Methods.
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.
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.
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.
Java C# ANSI C PHP git
ESXi Win Server Linux Eclipse VS Docker
Japanese [JLPT N1] (2015) English [TOEIC 945] (2014) Chinese [Native]
Management Information Systems • Bachelor • 2010 - 2014
Programming Languages
As well as a bit Golang, Unix Shell, Python, Haskell.
Back-end
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
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
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
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
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.
A graphic tool for manipulating omega-automata and logic formulae, as well as conversion.
An E-Commerce product comparison suite. Based on Java and Apache Lucene.
Jul. 2012 - Aug. 2012
Member of MIS Department. Helping business logic development (such as report generation, database optimization) and CRM introductions in production environment.
Sep. 2014 - Jun. 2018
Supports teaching, grading, homework review, workstation environment maintenance for:
Algorithms, Theory of Computing, Information Security, Software Developing Methods.
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.
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.
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.