Hey! This is 🌠Stardust here. I'm a year 4 dual degree student in Computer Science and General Business Management (plus a 3rd major in Electronic Engineering) at HKUST.
I'm now an undergraduate researcher under Prof. Ling SHI's supervision for the project "RFID-based Indoor Localization for UGV". I'm also working on an algo trade project with my friends.
Some of my previous responsibilities:
- Previously a developer at ❄️Flurry Finance, a DeFi yield aggregator, since Summer 2021 for over half a year
- Led a student analyst team in prototyping a 📈FinTech startup prediction model by ML for UBS (Zurich HQ) in 2020 Q4
- Team Leader and ⚡Senior Hardware Engineer in the Robocon Subteam of the HKUST Robotics Team in my junior years at university
I usually spend my own time enjoying 💕anime, 🎮video games, 😋food and ☕coffee (drinkable coffee, not Java).
I wish to do research that involves numerical methods and their implementation in code. Possible fields are:
- scientific computing
- signal processing
- optimization
- control theory
A side dish would be formal methods for program verification, btw.
- Learning bash scripting
- Getting more productive with Linux-based OS (I partitioned my disk for Ubuntu lol)
- Learning React.js and Next.js (somehow I need to learn some web programming...)
| Area | Language | Tech Stack |
|---|---|---|
| Software Engineering / OOP |   |
 + JavaFX (GUI) + SLF4J + Logback + JaCoCo  (and my teammates. They exemplified what it meant to be excellent programmers to me, who was still a beginner back then. Check out their great work here.) |
| Formal Verification | Viper$^{(1)}$ + Alloy$^{(2)}$ |
Apron (Java numerical analysis) + Soot (Java pointer analysis) |
| Functional Programming |  |
|
| Blockchain / DeFi / Smart Contract / Web3 |   |
Blockchains:   + Polygon + Avalanche + Arbitrum Integrated Projects:  + Uniswap (and its forks) + Aave + Venus + Alpaca + Rabbit Libraries / Tools: OpenZeppelin + Hardhat + Ethers.js + Remix + Metamask |
| Backend / Scripting / Testing |  |
   , etc. |
| AI / ML / Data Science |  |
       , etc. |
| Database / Data Engineering | SQL,  |
 |
| Systems Programming / Networks |  |
|
| Documentation / Typesetting / UML |   |
  + PlantUML |
| DevOps |  + YAML |
Version Control:    Build Tools:   Package Manager:   + poetry Container Platform:  |
(1): Verification Infrastructure for Permission-based Reasoning. It is a C-like language for formal verification.
(2): A declarative specification language for model checking. It is based on first-order logic.
| Area | Language | Tech Stack |
|---|---|---|
| Signals / Control |  |
Simulink |
| Robotics / Embedded System |  |
 |
| Web / UI |   (*) (**) |
    |
| Mobile | |
 |
(*) Disclaimer: I do not recognise HTML and CSS as "programming" languages :p
(**) I only know backend JS/TS. In the frontend, they look like another language to me!
I'll always try my best to open-source my code if possible. Here are a few heuristics:
- This profile and CV are always "public".
- Code for courses is "public" (possibly "archive") if:
- all collaborators give consent; AND
- its submission deadline has passed if it is a project; AND
- open-sourcing is NOT explicity forbidden by the instructor; AND
- it is NOT reused as graded work across semesters (let's be fair and don't give spoilers)
- Proprietary code is never forked or made "public". However, I'm happy to discuss implementation details as long as I'm allowed to do so.
I use a personal laptop with the following spec:
Plus an Asus Zenscreen MB14AC and/or Acer 27' display (forgot its model number lol).
Games I really enjoyed: Sekiro, Bloodborne, Nioh, Monster Hunter series, Mario Bros series, BanG Dream...
Last edited on: 26/09/2022