Kagurazaka. Ritsuka (晏雲杉)
My CV
Ubi Sum
I am currently an Engineer in the Heterogeneous Compiler Lab of Huawei Technologies Canada Co., Ltd.
Ubi Eram (pre-Huawei)
B.A.Sc (2018), M.Eng. (2019) in Computer Engineering
Department of Electrical and Computer Engineering
Queen's University at Kingston
Ontario Visiting Graduate Student (2021 Fall)
CAS 760 with Prof. William Farmer
McMaster University
Ph.D (2023) in Computer Engineering
Department of Electrical and Computer Engineering
Queen's University at Kingston
Supervisor: Prof. Karen Rudie
Post-doctoral
Department of Electrical Engineering and Computer Science
University of Michigan
Supervisor: Prof. Stéphane Lafortune
My research area is the problems of discrete-event systems, applicable to supervisory control and cyber-security (diagnosibility, opacity, detectability). I use Isabelle/HOL extensively in my research.
Research
Credentials
My internet identities (ORCID iD, GitHub, LinkedIn, etc.)
Contact
- Emails:
- me [at] Ritsuka [dot] moe
- Ritsuka [at] Huawei [dot] com
- Ritsuka [at] UMich [dot] edu
- Ritsuka314 [at] QueensU [dot] ca
- How to address me: Ritsuka.
- Please do not use any honorific titles, including "Mr.", "Dr."
- Do not call me "Sir".
Teaching Assistant
Graduate TA
CISC 465/865-2023W: Semantics of Programming Languages ELEC 274-2023W: Computer Architecture ELEC 371-2022F: Microprocessor Interfacing and Embedded Systems * ELEC 270-2022W: Discrete Mathematics ** ELEC 270-2021W: Discrete Mathematics ELEC 371-2020F: Microprocessor Interfacing and Embedded Systems ELEC 270-2020W: Discrete Mathematics ELEC 278-2019F: Data Structures ELEC 278-2018F: Data Structures * Head TA ** Recipient of the 2021 Dean's Teaching Assistant Award (DTA), as exceptional Teaching Assistant nominated by the department. With a monetary award. [Link] (known as Yunshan (Richard) Yan)
Undergraduate TA
ELEC 274-2018W: Computer Architecture ELEC 278-2017F: Data Structures * ELEC 274-2017W: Computer Architecture ELEC 221-2016F: Electric Circuits * Awarded as Teaching Assistant of the Year for Excellence in Education and Exceptional Teaching, as voted by students of the department, for the academic year of 2016/2017. [Link] (known as Richard Yan)
Professional Services
Total number of reviews conducted: 17
Journal Reviewer
Automatica European Journal of Control IEEE Transactions on Automatic Control IEEE Transactions on Control of Network Systems
Conference Reviewer
IEEE Conference on Decision and Control (CDC) IFAC World Congress