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