$ ls -la ~/projects
total 7
-rw-r--r-- 2 tianchi staff 0 Nov 18 2025 project_01_[SystemSketch].draft
drwxr-xr-x 2 tianchi staff 4096 Nov 18 2025 project_02_[Fun TUI in Rust]
drwxr-xr-x 2 tianchi staff 4096 Nov 18 2025 project_03_[Cryptology Labs]
drwxr-xr-x 2 tianchi staff 4096 Nov 18 2025 project_04_[IOT Project of Medicine-Guardian]
drwxr-xr-x 2 tianchi staff 4096 Nov 18 2025 project_05_[Smart Contract Optimization]
drwxr-xr-x 2 tianchi staff 4096 Nov 18 2025 project_06_[Data Visualisation]
drwxr-xr-x 2 tianchi staff 4096 Nov 18 2025 project_07_[ODE Dynamical System]
$ touch project_01_[SystemSketch]

SystemSketch

PREPARING [01]

// empty workspace — figures coming soon

$ cat project_02_[Fun TUI in Rust]

Fun TUI in Rust

[02]
RustTUICLICrossterm

A fun terminal user interface (TUI) application built using Rust and the Crossterm library. This project showcases my skills in Rust programming and TUI development, providing an engaging and interactive experience for users in the terminal environment.

$ open project
$ cat project_03_[Cryptology Labs]

Cryptology Labs

[03]
Cryptology

Implementations of Different Cryptology Approaches

$ open project
$ cat project_04_[IOT Project of Medicine-Guardian]

IOT Project of Medicine-Guardian

[04]
WirelessIoT

FIT/IOT Lab Wireless - Abundant IoT applications are implemented in various kinds of scenarios, here in this project, I propose one IoT application working on the safety of sensitive cargo during transportation.

$ open project
$ cat project_05_[Smart Contract Optimization]

Smart Contract Optimization

[05]
S-meraheuristics SearchTranslation ValidationOCamlZ3

Optimal Synthesis of Michelson Bytecode - The objective of this project is to optimize Michelson Bytecode with respect to gas consumed. Specifically, we study super-optimization(finding global program optimizations which might be missed by a smaller and simpler search for local optimizations). We aim for an heuristics-based method using S-metaheuristics to find the optimal bytecode in a fully blackbox way.

$ open project
$ cat project_06_[Data Visualisation]

Data Visualisation

[06]
NodeJsD3JSData Analysis

Exploring the transportation of Switzerland

$ open project
$ cat project_07_[ODE Dynamical System]

ODE Dynamical System

[07]
SimulationAutonomous System

Lane changing operations of autonomous vehicles(with Simulink Simulation)

$ open project
$ echo 'End of project list'