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.


Education

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

Teaching

University of Waterloo

Waterloo, ON

Teaching Assistant / Instructional Apprendice

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

09 / 2017 - present

Activities

American Mathematical Society

student member

2018

DeepSpec Summer School

student

2018

Oregon Programming Languages Summer School

student

with fellowship

2019

Industry

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

Virtuos

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.


Interests

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!