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

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

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

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

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

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

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

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