Jeffrey Kam
About Me
I am currently a 3^{rd} year computer science and mathematics student at University of Waterloo. My interests reside in the intersection of computer science and mathematics, such as algorithm design and optimization.
Academics and internships aside, I enjoy reading, travelling, and playing computer games (i.e. Slay the Spire and Mini Metro). Also, I am currently learning Go (Weiqi).
Resume/CV
Resume: Here (Last updated at June 2019)
CV: Here (Last updated at Jan 2020)
Work
 BlackBerry  Security Researcher Intern [Jan'20  Apr'20]
I am researching about Docker image vulnerabilities scanning using opensource technologies. Also, I am researching about the capabilities of automated code analysis and formal verification tools, such as Predator and Facebook Infer.
 Zenefits  Software Engineering Intern [May'19  Aug'19]
I worked on building new features for the Performance Management platform with React and integrating with the backend through GraphQL services. Also, I have designed multiple new services to support general data editing functionality within our Talent team's app flow, where some of them require integrations with the existing distributed queue system, Celery.
 Horizn  Software Development Intern [May'18  Aug'18]
During my internship, I wrote a suite of python scripts to help ease the product addtion process for our clients. Also, I developed multiple components for the PHPLaravel based internal web app that helps automate the product addition process, such as dispatching/compressing files locally, parsing and manipulating data within files, and uploading them to S3.
Publications
 bioSyntax: Syntax Highlighting For Computational Biology,
with A. Babaian, et al.
Published in BMC Bioinformatics 19, 303 (2018).
Available here
Noticable Projects
Functional
 BioSyntax:
A suite of syntax highlighting packages for raw computational biology data
 CISCA Scoring System:
A realtime regatta scoring and ranking system for the Canadian Intercollegiate Sailing Association
 Docsify PDF Embedding Plugin:
A plugin for embedding PDF documents onto MarkDown sites dynamically generated by Docsify
 WLP4 Compiler (Optimized)
An optimized compiler for WLP4 code, which is a subset of C. However, I cannot publicly disclose the source code of this.
In progress
 Docker Container from Scratch
 Chip8 Emulator
For more projects (i.e. Koup API, Class Scheduler, Earthquake Detector), please visit my
GitHub.
Competitions
 Hackseq 2017 (1^{st} Place)
 MATE ROV Competition 2017 (3^{rd} Technical Report)
 Canadian Computing Competition Hong Kong 2017 (Honourable Mention)
Academics

Currently at 3B. Working towards BMath. Honours Computer Science and Combinatorics & Optimization, and Minor in Pure Mathematics

Major Average: 85%
Problems Collection
A small collection of solved problems from SPOJ, LeetCode, and more: Problem Collection
Some Stuff I Have Been Thinking

Problem: Let's first define a \(k\)string to be a string that can only use \(\{0,1,2,\cdots,k1\}\) as its characters and it is of infinite length. Prove (or disprove) that,
$$ \forall k: ((k \in \mathbb{Z} \land k \geq 2) \rightarrow (\forall s : (s \in S_k) \rightarrow \lnot T(s))) $$
where \(S_k\) is the set of all \(k\)string and \(T(s)\) represents the property that \(s\) has a subsequence that repeats itself consecutively for 3 or more times. In other words, we want to see if every \(k\)string (\(k \geq 2\)) will eventually contain a subsequence that repeat itself 3+ times consecutively.
Partial progress:
I have been stuck on this for a while. First, I want to see what happen for \(k=2\)
Let's construct a 2string recursively as follow:
$$ S_{i} = S_{i1}\overline{S_{i1}} $$
where \(S_{0} = 0\) and \(S_{i1}\overline{S_{i1}}\) represents the concatenation of the two strings and \(\overline{S_{i}}\) represents the complement of \(S_{i}\), where it flips all the bits of \(S_{i}\).
I am currently trying to show that \(S_{\infty}\) is a counterexample to the statement above, but I could not prove/disprove it yet.
Miscellaneous

I have made a cardbased RPG board game and won the "Best game for a rainy day" award in the Waterloo Game Jam in Fall 2017. Check it out here.

Due to lack of better stuff to do in the Christmas of 2018, I have decided to built an API for Coup (a boardgame) that allows my friends and I to play the game using only our phones.