Projects

Note: The listed projects are just part of my previous jobs. If there is anything you would like to see further, please feel free to contact me.

Cryptology Labs

Technologies:
Cryptology

Implementations of Different Cryptology Approaches

Project url =>

IOT Project of Medicine-Guardian

Technologies:
Wireless
IoT

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.

Project url =>

Smart Contract Optimization

Technologies:
S-meraheuristics Search
Translation Validation
OCaml
Z3

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.

Project url =>

Data Visualisation

Technologies:
NodeJs
D3
JS
Data Analysis

Exploring the transportation of Switzerland

Project url =>

ODE Dynamical System

Technologies:
Simulation
Autonomous System

Lane changing operations of autonomous vehicles(with Simulink Simulation)

Project url =>