K Ritsuka
Senior Engineer - Upper Tier at Huawei Canada
Markham, Ontario, Canada
Summary
👤
Senior🎓
Top SchoolK Ritsuka is a Senior Engineer with a decade of experience bridging academic research and applied engineering, currently at Huawei Canada’s Heterogeneous Compiler Lab. He holds a PhD in Computer Engineering from Queen’s University and completed a postdoctoral fellowship at the University of Michigan under Prof. Stéphane Lafortune, specializing in decentralized supervisory control of discrete event systems and cybersecurity using DES models. An experienced Isabelle/HOL user, he applies formal methods to practical security and control problems, pairing deep theorem-proving expertise with system-level engineering. His background includes extensive teaching and mentorship—recognized with departmental awards—and a track record of producing reproducible research and tooling showcased on his personal site and CV.
11 years of coding experience
6 years of employment as a software developer
High School Diploma, High School Diploma at Canada Kunming Secondary SchoolDoctor of Philosophy - PhD, Computer Engineering, Doctor of Philosophy - PhD, Computer Engineering at Queen's UniversityMiddle School Diploma, Middle School Diploma at Kunming No. 10 Secondary School
Chinese, English, Japanese
Github Skills (48)
accessibility10
rss10
twitter10
rss-reader10
tiktok10
instagram10
disqus10
wechat10
hexo10
firefox-addon10
chrome-extension10
youtube10
telegram10
darkmode10
firefox10
Programming languages (9)
Github contributions (5)
Ritsuka314/CV
Jan 2019 - Nov 2024
Contributions:16 pushes, 1 branch in 5 years 10 months
Ritsuka314/nginx-fancyindex-flat2-theme
May 2020 - Feb 2026
Contributions:8 PRs, 7 pushes, 3 branches in 5 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.