Dao Bo Yang

I am Dao Bo (Danny) Yang

Master of Computer Science Candidate at University of Waterloo under the joint supervision of Professors Richard Trefler and Arie Gurfinkel, focusing on Formal Verification and Distributed Systems.

I graduated with a Bacholor in Computer Science (co-op) from University of Waterloo in 2024, with co-op experience at Huawei, D2L, Uplift Inc, and research at University of Waterloo.
UWaterloo Logo

Technical Skills

Development & Data
  • Backend: Python (Chalice, Flask), C#, PHP, Java
  • Database: MySQL, Cassandra SQL, DynamoDB
  • Frontend: React.js, Vue.js, jQuery, HTML5/CSS3
  • Systems/Research: C, C++, Bash (Linux)
Tools & Specialized
  • QA: JUnit, Jasmine, Pytest
  • Security: Burp Suite, Nmap
  • Other: Unity, Microsoft Excel/Macros
Relevant Coursework (UW)

Functional Programming, Data Structures, Logic & Computation, OOP, Algorithms, UI, Operating Systems, Machine Learning, Networking, AI, and Quantum Information Processing.

Work Experience

Software Engineer (Co-op) | Huawei Canada

Sept 2023 - Dec 2023 | Markham IC Lab

Software Engineer (Co-op) | D2L

May 2023 - August 2023

Software Engineer (Fullstack, Capital) | Uplift Inc

Jan 2022 - Apr 2022

Sept 2022 - Dec 2022

Undergraduate Research Assistant | University of Waterloo

May 2022 - August 2022 | Supervised by Martin Karsten

Software Engineer in Test Co-op | Canon Medical (Vital Images)

May 2021 - Aug 2021

Full Stack software Enginner | Caribou Contest

Sept 2020 - Dec 2020

Technical Expertise

Formal Verification & Systems
  • C / C++ / OCaml / Rust
  • Model Checking (CBMC)
  • Static Analysis (Infer, VeriFast)
  • Linux Systems & Futex
Software & Web
  • Python (Flask, Chalice)
  • React.js / Vue.js
  • MySQL / Cassandra / DynamoDB
  • C# / Java / PHP
Advanced Coursework

Graphics (CS488), Real-time (CS454), Machine Learning (CS480), AI (CS486), Quantum (CS467), Networking (CS456).

Selected Projects & Research Work

Intelligent Systems & Machine Learning

Implementations of core AI/ML techniques from CS 480 and CS 486, including Deep Learning models, Probabilistic Reasoning, and Constraint Satisfaction Problems.

Search & Games (AI) Neural Nets (ML)
Formal Verification & Research

Specialized in automated reasoning and static analysis. Currently working with the Aptos Move Prover (Rust) for formal verification of smart contracts, alongside industry-standard tools for C/Java.

Aptos Move Prover
Brightspace BMX (D2L)

A cross-platform .NET/C# CLI tool designed to streamline AWS STS authentication and temporary credential management for D2L engineering teams.

View Project My Contributions
Networking & Systems

Implementation of reliable data transfer protocols (CS456) and exploration of Futex (Linux locking mechanism).

Networking Futex
Simple Rust Compiler

A compiler implementation in Rust demonstrating lexical analysis, parsing, and code generation for a simple programming language.

View Project
LLVM Project: ClangIR (CIR)

Implemented X86 builtins in the ClangIR Incubator. Ported lowering logic from classic CodeGen to MLIR-based dialects and resolved cross-platform build blockers for Win64/MSVC.

View My Pull Request CIR Repository

Want to see more? View all 29+ repositories on my GitHub.

Visit My Full GitHub Profile