Kagurazaka. Ritsuka (晏雲杉)

My CV

Ubi Sum

I am currently a Senior Engineer in the Heterogeneous Compiler Lab of Huawei Technologies Canada.

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 PGP/GPG Pubkey

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: 19

Journal Reviewer

Automatica
European Journal of Control
IEEE Control Systems Letters (L-CSS)
IEEE Transactions on Automatic Control
IEEE Transactions on Control of Network Systems

Conference Reviewer

IEEE Conference on Decision and Control (CDC)
IFAC World Congress