K Ritsuka
Senior Engineer 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.
10 years of coding experience
4 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 (67)
instagram10
reader10
hexo10
firefox-addon10
telegram10
spotify10
rss10
twitter10
rss-reader10
tiktok10
disqus10
wechat10
youtube10
firefox10
weibo10
Programming languages (9)
Github contributions (5)
Ritsuka314/Ritsuka314.github.io
Mar 2019 - Mar 2025
Contributions:130 pushes, 2 branches in 6 years 1 month
Ritsuka314/CV
Jan 2019 - Nov 2024
Contributions:16 pushes, 1 branch 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.