Skip to content
View StardustLID's full-sized avatar
☕
sipping coffee
☕
sipping coffee
26 followers · 44 following
  • University of Toronto
  • Toronto

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pull Sharkx2

Highlights

  • Pro

Block or report StardustLID

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
StardustLID/README.md

Who am I?

Hey! This is 🌠Stardust here. I'm pursuing my Ph.D. in Electrical Engineering at the University of Toronto.

I graduated from the Dual Degree Program at HKUST, majoring in Computer Science and General Business Management (plus a 3rd major in Electronic Engineering). I usually spend my own time enjoying 💕anime, 🎮video games, 😋food and ☕coffee (not Java).

My Research Interests

I am currently interested in stochastic and risk-aware control. I've also been exposed to the following areas:

  • Event-Triggered Mechanism
  • Phase Theory

Technologies I've Worked with

I'm proficient at...

Area Language Tech Stack
Software Engineering / OOP Java
C++		 JUnit + JavaFX (GUI) + SLF4J + Logback + JaCoCo
Qt (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 Java
Viper$^{(1)}$ + Alloy$^{(2)}$		 Apron (Java numerical analysis) + Soot (Java pointer analysis)
Functional Programming Haskell
Blockchain / DeFi / Smart Contract / Web3 Solidity TypeScript Blockchains: Ethereum BNB Chain + Polygon + Avalanche + Arbitrum
Integrated Projects: Chainlink + Uniswap (and its forks) + Aave + Venus + Alpaca + Rabbit
Libraries / Tools: OpenZeppelin + Hardhat + Ethers.js + Remix + Metamask
Backend / Scripting / Testing JavaScript TypeScript Mocha Chai NodeJS, etc.
AI / ML / Data Science Python Jupyter TensorFlow Pandas NumPy scikit-learn SciPy Anaconda, etc.
Database / Data Engineering SQL, GraphQL PostgreSQL
Systems Programming / Networks C
Documentation / Typesetting / UML LaTeX Markdown GitBook Notion + PlantUML
DevOps Bash + YAML Version Control: Git GitHub GitLab
Build Tools: Gradle Apache Maven
Package Manager: NPM Yarn + poetry
Container Platform: Docker

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

I also know a bit about...

Area Language Tech Stack
Signals / Control Matlab Simulink
Robotics / Embedded System C Arduino STM32
Web / UI HTML5 CSS3 (*) JavaScript TypeScript (**) React Chart.js Material Design WordPress
Mobile Java Android Studio Material Design

Open-Sourcing My Code

I'll always try my best to open-source my code if possible. Here are a few heuristics:

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

You can reach me through:

LinkedIn Instagram Outlook

Last edited on: 16/10/2024

Pinned Loading

  1. learning-haskell learning-haskell Public

    My Haskell code for "252-0058-00L Formal Methods and Functional Programming" at ETH Zurich, Spring 2022.

    Haskell

  2. eth-uniswap-prelim-analysis eth-uniswap-prelim-analysis Public

    Preliminary data analysis on Uniswap V3 on Ethereum.

    Jupyter Notebook

  3. TEMG4952A-TEAM-5 TEMG4952A-TEAM-5 Public archive

    The repository of Team 5 for the HKUST course TEMG4952A "Special Project: Financial Investment Prototyping for UBS Zurich".

    Jupyter Notebook 2

  4. ELEC3300-DAP ELEC3300-DAP Public

    The repo for the Digital Audio Player (DAP) project for HKUST ELEC3300 (Fall 2021-22).

    C

  5. py-poetry-pre-commit-template py-poetry-pre-commit-template Public template

    Template for Python code using poetry and pre-commit.