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.
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.
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.