Jerry S. Zhang
Grad Student
Systopia Laboratory
Computer Science
University of British Columbia
X409-2366 Main Mall
Vancouver, BC V6T 1Z4, Canada
Quick Access
Research Interests
Real-time systems, fault tolerance, distributed systems, formal verification, education
Education
| 2026 |
Bachelor of Science (Honours) in Computer Science
University of British Columbia
|
|---|
Publications
| 2026 |
GPU-Enable Testing of Verification Methods
for Cyber-Physical Systems
Bachelor's thesis, supervised by
Mark R. Greenstreet,
University of British Columbia
|
|---|
Teaching
| 2026w1 |
CPSC 418
Parallel Computation (Teaching Assistant)
|
|---|---|
| 2025w2 |
CPSC 418
Parallel Computation (Teaching Assistant)
|
| 2025w1 |
CPSC 418
Parallel Computation (Teaching Assistant)
|
Various Projects
(Work-in-progress)
Decide2Watch
Web Application for Streamlining Movies Nights with Friends
Ultimate Singleplayer Tic-Tac-Toe
Haskell Game Core and "AI" Machine Opponent
Jetris
Java Implementation of the Tetris Game Mechanism
Codehelp.js
Javascript/React Version of Dr. Todd Feil's CodeHelp
Resources
- My LaTeX document class that I use when writing my assignments (example of using it; pdf)
- My LaTeX template that I use for my exam notes when one is permitted for an exam
Other Things
-
I can speak and understand Japanese, and I have a JLPT
N2N1 certificate. - I am certified to fly aeroplanes in Canada but am currently on a hiatus.
- I sometimes work with virtual content-creation technologies and virtual YouTubers on the side.
- I wrote a paper about PewDiePie vs. T-Series in first-year English as my final project.