Jason Hu

a.k.a. Zhong Sheng Hu

I will soon start my PhD at McGill University in September 2019!
I am currently a grad student at University of Waterloo, under the supervision of Professor Ondřej Lhoták. Before that, I worked in the industry since 2014. My undergrad was at Fudan University.
These days, I am mainly working on programming languages and formal proofs using proof assistants based on Martin-Löf type theory, e.g. Coq and Agda. I am particularly interested in various type theories and the mathematics behind them. As a purist, I insist that if a proof can be done constructively, then it needs to be; if a mechanized proof can be established, there is no reason not to.
Before heading back to school, I worked as an engineer on a number of projects involving performance engineering, configurations, and others that you might expect to see in the industry. Back in my old days at Fudan University, I was more of a robotic guy.
I am writing up my Master's thesis, titled Decidability and Algorithmic Analysis of DOT.
I am in support of 996.icu activity 996.icu.


University of Waterloo

Waterloo, ON

Master of Mathematics
Computer Science

Grade: 94.4/100

  • CS 341 Algorithms
  • CS 745 Computer-Aided Verification
  • CS 766 Theory of Quantum Information (report)
  • ECE 653 Software Testing, Quality Assurance and Maintenance
  • CS 860 Advanced Topics in Algorithms and Complexity (report)
09 / 2017 - present

Fudan University

Shanghai, China

Bachelor of Science
Electronic Engineering

Grade: 3.35/4.0

09 / 2010 - 07 / 2014


University of Waterloo

Waterloo, ON

Teaching Assistant / Instructional Apprendice

CS 241, Foundation of Sequentual Programs
CS 343, Concurrent and Parallel Programming

09 / 2017 - present


American Mathematical Society

student member


DeepSpec Summer School



Oregon Programming Languages Summer School


with fellowship



Morgan Stanley Services Canada Corp.

Montreal, QC

Summer Analyst Intern
05 / 2018 - 08 / 2018

Morgan Stanley Services Canada Corp.

Montreal, QC

Java / Scala Developer
10 / 2015 - 07 / 2017

Nexsan Technologies

Dorval, QC

Software Developer
08 / 2014 - 10 / 2015

Gridsum Technologies

Shanghai, China

.Net Engineer Intern
05 / 2014 - 06 / 2014


Shanghai, China

QA Intern
07 / 2013 - 08 / 2013

Other Info

I speak four languages: English, Mandarin, Cantonese and Japanese.
I had 6 years of math, 2 years of physics and 1 year of chemistry olympiads experience.
I am a Cantonese. My town is Foshan. Warning: I've got no idea how to perform Wing Chun.


I like superheroes, Marvel, DC and whatever you can name.
I used to play badminton during undergrad at Fudan with friends, but it turns out that it's hard to even find a reasonable court and shop for maintenance in Canada!
I have lots of video games in my Steam library, and I dream to have time to play!