Dao Bo Yang

I am Dao Bo Yang

M.Math in CS at University of Waterloo since Spring 2024. I am jointly supervised by Professors Richard Trefler and Arie Gurfinkel. My research explores using prophecy variables to model ownership in Move with Boogie.

University of Waterloo Logo

My Skills

Tech Stack Experienced in at least 1 co-op

  • Backend: Python Chalice, C#, PHP, Flask, Java
  • Database: MySQL, Cassandra SQL, DynamoDB
  • Frontend: React.js, Vue.js, HTML, CSS, JavaScript, jQuery
  • Scripting: Python, Bash
  • Academic/Research: C, C++

Software Development (Courses)

  • CS145: Design Functional Programs (Enriched)
  • CS146: Data Structures & Abstraction (Enriched)
  • CS245: Logic and Computation
  • CS246: Object Oriented Software Development
  • CS341: Algorithms
  • CS349: User Interfaces
  • CS350: Operating Systems
  • CS370: Numerical Computation
  • CS458: Privacy & Security in Computing
  • CS480: Machine Learning
  • CS456: Computer Networking
  • CS486: Artificial Intelligence
  • CS467: Quantum Information Processing

Quality Assurance

  • JUnit, Jasmine, Pytest

Other

  • Microsoft Excel, Macros
  • BurpSuite, npm

Work Experience

Huawei
Software Engineer (Co-op)
Huawei Canada, Markham IC Lab

Sept 2023 - Dec 2023 (4 months)

D2L
Software Engineer (Co-op)
D2L

May 2023 - Aug 2023 (4 months)

Uplift
Software Engineer (Capital, Co-op)
Uplift Inc

Sept 2022 - Dec 2022 (4 months)

UW
Undergraduate Research Assistant
University of Waterloo (Supervised by Martin Karsten)

May 2022 - Aug 2022 (part-time contract)

Uplift
Software Engineer (Servicing, Co-op)
Uplift Inc

Jan 2022 - Apr 2022 (4 months)

Vital
Quality Assurance Engineer (Co-op)
Canon Medical Healthcare IT Division

May 2021 - Aug 2021 (4 months)

UW
Math 138 Marking Assistant
University of Waterloo

Sept 2020 - Dec 2020 (4 months)

Caribou
Full Stack Engineer (Co-op)
Caribou Contest Inc.

Sept 2020 - Dec 2020 (4 months)

Company Website
Main Project
McMaster
Junior Statistician (Volunteer)
Centre for Evidence-Based Orthopaedics

July 2019 - Aug 2019 (2 months, volunteer full-time)

Selected Projects

Grab the Square

Mobile game built with Unity.

View on Google Play
Automatic Email Collector
View on GitHub
Interactive Game Hackenbush
Play Online
Move Prover with Prophecy Variables

Research on ownership modeling in Move using prophecy variables with Boogie.

GitHub Repository
This Website

Designed & built with Bootstrap.