CCTS: thesis into verification tooling
An 8k+ LOC Spring Boot service that joins Pact contracts, event logs, MongoDB, RabbitMQ, and state-model checks for event-driven microservice testing.
Backend & Platform Engineer / Taipei, Taiwan
Backend and platform engineer connecting event-driven research, production delivery, and home-lab operations.
I am strongest where software architecture has to meet deployment, messaging, data, and real operational consequences.
Engineering dossier
I am a software engineer and service developer with an M.S. and B.S. in Computer Science and Engineering from National Taiwan Ocean University. My strongest through-line is reliability: service design, event flow validation, deployment, and operations.
At SOSELAB, my thesis work became CCTS, a Composite Contract Testing Service for event-driven microservices. It combines Pact contracts, runtime event logs, and state-model validation so testers can detect missing transitions and execution failures instead of trusting happy-path demos.
At ITRI, I worked on the Personal Data Authorization System and a personal-data valuation/payment platform. The work touched logging, payment, blockchain, third-party fintech, CI/CD, infrastructure, and delivery on Azure Kubernetes Service.
Outside formal roles, I run a home-lab with 30+ services across storage, DNS, monitoring, media, albums, and home automation. That environment keeps my platform work honest because I live with the operational consequences.
An 8k+ LOC Spring Boot service that joins Pact contracts, event logs, MongoDB, RabbitMQ, and state-model checks for event-driven microservice testing.
Worked across logging, payment, blockchain, fintech integration, CI/CD, infrastructure, and AKS delivery for personal-data authorization and valuation/payment systems.
Runs 30+ home-lab services and maintains internal CNC manufacturing systems, so platform decisions are tested by actual uptime, storage, network, and maintenance constraints.
Research environment
The lab connection matters because it explains why my backend work keeps returning to service-oriented architecture, event flow, testing, and reliability.
SOSELab studies software engineering techniques and service-oriented computing applications, with research directions that include microservice testing, monitoring, retrieval/search, service-oriented architecture, and chatbot application architecture.
碩士論文:事件驅動微服務系統之契約測試暨端到端測試研究 · 2022/7
SOSELab publication records list the CCTS APSEC 2022 work, the TCSE 2022 Best Chinese Paper, NCS 2021 personal-data valuation/payment work, and ICS 2020 PDAS work.
Experience map
These are the contexts behind the portfolio claims, not decorative labels.
Designed and implemented CCTS — a contract-testing framework for event-driven microservice systems. Published at IEEE APSEC 2022, received the 2022 TCSE Best Chinese Paper Award, and maintained related PoC services for orchestrator/payment/points/logging flows.
Researched, designed, implemented, and delivered personal-data authorization and valuation/payment systems. Worked across decentralized architecture, microservices, event-driven design, CI/CD, security, blockchain, third-party finance, AKS deployment, and delivery documentation.
Maintains and modernizes digital systems for CNC manufacturing workflows, moving legacy products toward more reliable internal architecture while targeting high availability.
Helped migrate legacy course content into a newer content-management workflow and supported professors with lesson design and assigned customization.
Contribute across personal infrastructure, team projects, and public OSS workflows. Pattern: cleanup, integration, correctness.
Published research
Two IEEE publications and three domestic conference papers connect backend engineering to formal software engineering research.
Introduces CCTS (Composite Contract Testing Service), a testing tool for event-driven microservices. Combines consumer-driven contract testing with event-driven state models to record state transitions of event exchange between services and automatically retrieve possible transition paths.
Uses Citizen Digital Certificate, digital signature, and blockchain to establish an authorization system (PDAS) for digital personal data. Enables safe, undeniable, and tamper-proof data authorization contracts that address legality, security, and multi-user authorization.
Composite Contract Testing for Event-Driven Microservice Systems
2022 台灣軟體工程研討會 (TCSE) · 臺北 · 政治大學 最佳中文論文獎 · Best Chinese Paper AwardPricing and Bidirectional Payment Platform for Digital Personal Data Authorization
2021 全國計算機會議 (NCS) · 臺中 · 東海大學Design of a Digital-Signature-Based Personal Data Authorization Platform
2020 台灣軟體工程研討會 (TCSE) · 嘉義 · 嘉義大學Selected work
Composite Contract Testing Service — my NTOU thesis system and APSEC 2022 paper implementation. It combines Pact contracts, event-log sequence validation, and state-model checks to catch missing transitions and execution failures in event-driven microservices.
APSEC 2022 · TCSE Best Chinese Paper · 8k+ LOC Java · Spring Boot · Docker · Fly.ioAnonymous Discord reply bot built for the NTOU CS Discord context. It grew from a course project into a containerized service with CI/CD, Docker Hub image flow, and Fly.io deployment.
Full lifecycle side project · 10 stars Docker · Linux · NAS · MariaDB · SDNHome-lab service configuration and operations notes. The broader environment runs 30+ services across storage, DNS, monitoring, media, albums, and home automation with VM/container integration.
30+ services · real operating environment Shell · Docker · IPMI · ESXi · NVIDIADell PowerEdge fan control through iDRAC/IPMI with Docker deployment, NVMe/GPU temperature inputs, configurable thresholds, and a recent README/code audit around fail-safe behavior.
Dell R730XD tested · 10 stars React 19 · TypeScript · Firebase · GitHub PagesA behavior tracking and management system with real-time score display, admin panel, charts, logs, lazy updates, Firebase backend, and GitHub Pages deployment.
Full-stack AI-assisted prototypeTechnical surface
The stack is broad because the work has ranged from microservice research and AKS delivery to CNC internal systems and home-lab operations.
Collaboration trail
Hiring fit
Service delivery with microservice, event-driven, API, messaging, and persistence experience
Deployment-aware engineering across containers, Linux, storage, network, and operational automation
Practical architecture decisions under research, customer-delivery, and public collaboration constraints
Map architecture boundaries. Find where the team loses time.
Small, targeted fixes. Reduce friction before adding features.
Measurable reliability gains. Nobody stayed late because of my code.
Beyond code
Contact
Teams building reliable services, platform infrastructure, event-driven systems, or data authorization/payment workflows are the best fit.