Projects

Hotaru is a full-stack Rust web framework. A macro-based DSL keeps the URL, the middleware, the configuration, and the handler in one place. One application serves several protocols: HTTP, HTTPS, WebSocket, MQTT, and custom TCP. All protocols share the same state, the same routing, and the same handler style.

Paper: In preparation, target: IEEE CSE 2026 (May)

HCR teaches robot programming in the browser. A student writes a program in a Blockly editor. The program then runs in a 3D simulator built with React Three Fiber, so a physical arm is not necessary. One program IR is the single source of truth. The browser preview, the Rust server replay, and the ESP8266 arm run the same program, and the server replay owns the official score. The system sweeps every motion through a geometric head model before the motion runs. The backend adds adaptive item selection and a generated question bank, and the simulator still runs offline without a network.

Arona is a computerized adaptive testing (CAT) framework in Rust. It keeps zero-cost abstractions, and it also accepts IRT models as plugins at run time. Dynamic trait objects let an operator change the model or the algorithm without compile-time coupling. The framework supports the IEEE ICCSP 2026 Best Paper on Smart Education Systems.

Paper: Published in ICCSP 2026, Best Paper on Smart Education Systems (DOI 10.1109/ICCSP68173.2026.11539256)

PMINE is a community tool website, and Pmine Research is the applied Rust research group of Field of Dream Studio (FDS) that runs it. The site hosts a Minecraft skin-pack automator, encryption and decryption utilities, a BBCode template generator, and a Bingo generator with AI support. I lead the development workflow of a team of eight, and the site has run for approximately two years. The team works across Hong Kong, mainland China, and the United States, and the members come from five different fields.

The Global Engagement Office of The Hong Kong Polytechnic University runs the Junior Researcher Mentoring Programme (JRMP). I mentored Group 09 in the 2026 edition, from March to August 2026. The group of secondary-school students built smart classrooms. Sensors and MQTT track the room environment and the movement of the students, on Arduino and Raspberry Pi. I teach research methodology and academic writing, and I guide each student through experimental design, paper writing, revision, and submission. Two research publications came from the group.

Tsubasa is an online assessment and hackathon judging system. The contest runs for two hours, and all candidates compete at the same time. The design assumes that every candidate uses an agentic AI, so submitted code is no longer evidence of understanding. The system scores the judgement of the candidate instead. A candidate predicts how the code behaves and declares a confidence value, and the platform executes the reference implementation to get the ground truth. The authoring method is the main innovation. A bug is not N bugs in N code bases. A bug is one perturbation of a formal specification, written in IMP with bounded loops and machine integers. The tool then decides equivalence between the original program and the mutant by exhaustive evaluation over a declared domain. Difficulty becomes a computed number, and cross-language fairness becomes a machine-checked assertion. The scoring rules and the offline authoring tools work today, and the contest platform is under implementation.

A generative agent can finish an individual coding assignment, so an individual program shows little about the student. This project makes the team engineering cycle the deliverable. It runs as the PolyU COMP5585 cloud project for 2026 to 2027, with 60 students in 20 teams of three. Two teams form a twin unit, and there are ten twin units. Each team writes one bounded component in safe Rust against a frozen WIT world. The team then deploys the component on Azure and connects it to one trusted core, which the teaching team operates. The student component has no capabilities: no network, no file system, no database, no clock, no environment, and no secrets. A staff gateway supplies HTTPS, authentication, health checks, value translation, and resource metering. The cohort tests one claim. An independent team can implement the same frozen contract and deploy it under a different cloud service model. The same core then accepts it, and the business semantics do not change. The staff run the acceptance procedure, because a self-reported result is not evidence.

Akari is a programming language and DSL for precise calculation. It runs as a standalone tool, or inside a Rust project. The repository holds the macro-based value and JSON system and the templating components. These parts are the base of the language tool chain.