CS PhD student at UBC - formal verification of hardware and software (and occasionally theory of computation)
-
Integrated Systems Design lab @ UBC
- Vancouver, BC, Canada
Highlights
- Pro
Popular repositories Loading
-
uWindsor-POTW-Leaderboard
uWindsor-POTW-Leaderboard PublicForked from Quinny/uWindsor-POTW-Leaderboard
A django web app used for managing problem of the week leaderboards for the uWindsor CSS
Python
-
potw
potw PublicMy solutions to the University of Windsor Computer Science Society's Problem of the Week
Python
-
-
CS311-Project
CS311-Project PublicGroup project for the 60-311 Intro to Software Engineering class.
Python
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
