Jonathan Chung Email & Phone Number

Toronto, ON, CA

Toronto, Ontario, Canada

Waterloo, Ontario, Canada

• Grading and teaching for ECE208 (Discrete Mathematics and Logic)
• Prepared presentation slides and taught tutorial classes on propositional logic, SAT solving algorithms, and first-order logic to support student learning
• Advised on coursework, answered student questions, and graded written assignments

Waterloo, Ontario, Canada

• Empirical CS research in automating the Boolean Satisfiability (SAT) Problem, advised by Dr. Vijay Ganesh
• Developed hypotheses and experiments to correlate solver performance with problem parameters
• Led the design and implementation of an advanced class of SAT solvers using Extended Resolution
• Advised undergraduate students on the design and implementation of parallelization and machine learning techniques for Satisfaction-Driven Clause Learning SAT solvers

Waterloo, Ontario, Canada

• Grading and advising on coursework for ECE459 (Programming for Performance)
• Answered questions about the Rust and CUDA programming languages to improve student understanding of course content and reinforce course learning objectives
• Graded written work and developed Python scripts to automatically grade programming assignments

Santa Clara, California, United States

• Developed features and implemented optimizations in C++ for GPU performance analysis tools
• Profiled application using tools such as perf and cachegrind to identify performance bottlenecks
• Parallelized computation and file I/O operations to speed up overall execution time by 2.5x

Vancouver, Canada Area

• Developed data visualization tools and features in C++ for an ultrasound-based 3D imaging device
• Implemented a tiled HEVC video codec to speed up GPU encoding and increase throughput by 4x
• Migrated CPU-based visualization tool to DirectX 12, improving performance and maintainability
• Created an interactive graphing tool to correlate field data with design specifications

Montreal, Quebec, Canada

• Implemented backend features for multiple video games using JavaScript (TypeScript) with Node.js
• Designed a rich presence system to broadcast and log player activity with Redis and DynamoDB
• Implemented first-party microtransactions for purchasing game items using Nintendo's REST API, enabling novel monetization opportunities

Toronto, Canada Area

• Added features and improved infrastructure for a cross-platform Java video game
• Developed a configurable particle effects system and core item collection infrastructure
• Implemented a system for synchronizing game objectives using Google Cloud Datastore

Ontario, Canada

• Developed a library management application using MySQL and VBA
• Developed a library database system to manage thousands of books and hundreds of users
• Built an application for borrowing books, identifying overdue books, and calculating fines

Master Of Applied Science - Masc, Electrical And Computer Engineering: Computer Software, 95.0

Supervisor: Dr. Vijay Ganesh Thesis: Prioritized Unit Propagation and Extended Resolution Techniques for SAT Solvers

Bachelor Of Applied Science - Basc, Computer Engineering, 91.9

• Graduated With Distinction - Dean's Honours List • Term Dean's Honours List (7 Terms) • First in Class Engineering Scholarship •.