?

Kagurazaka. Ritsuka (晏雲杉)

About my name, my pronouns

My CV

Ubi Sum

I am currently an Engineer in the Heterogeneous Compiler Lab of Huawei Technologies Canada Co., Ltd.

Ubi Eram (pre-Huawei)

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